Keywords:
Automatic
traceability
requirements
Year of Conference:
2012
Conference Name:
9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems, 11.-13.12.2012
Number of Pages:
pp.134-145
Conference Location:
Braunschweig
ISBN Number:
978-3-9803363-3-8
Geschäftsfelder: