Forms/Format 2014 - 10th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems
Proceedings of Symposium FORMS /FORMAT 2014 Braunschweig, Germany
Technische Uni Braunschweig Inst. f. Regelungs- u. Automatisierungstechn. (Publisher)
Published on 1. October 2014
Book
Paperback/Softback
978-3-9816886-6-5 (ISBN)
More details
Language
English
ISBN-13
978-3-9816886-6-5 (9783981688665)
Schweitzer Classification