Forms/Format 2012 - 9th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
Technische Uni Braunschweig Inst. f. Regelungs- u. Automatisierungstechn. (Publisher)
Published in December 2012
Book
Paperback/Softback
283 pages
978-3-9816886-3-4 (ISBN)
More details
Language
English
ISBN-13
978-3-9816886-3-4 (9783981688634)
Schweitzer Classification