Schlüsselwörter:
Automatic
traceability
requirements
Jahr der Konferenz:
2012
Name der Konferenz:
9th Symposium on Formal Methods for Automation and Safety in Railway and Automative Systems, 11.-13.12.2012
Seitenanzahl:
pp.134-145
Konferenzort:
Braunschweig
ISBN-Nummer:
978-3-9803363-3-8
Geschäftsfelder: