This image is currently not available.

FORMS /FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems

Proceedings of Symposium FORMS /FORMAT 2004 Braunschweig, Germany, December 2nd and 3rd 2004
Eckehard SchniederGéza Tarnai(Editor)
Technische Uni Braunschweig Inst. f. Regelungs- u. Automatisierungstechn. (Publisher)
1st Edition
Published on 2. December 2004
Book
Paperback/Softback
978-3-9803363-8-3 (ISBN)
€40.00incl. 7% vat
Article not available

More details

Save as PDF Copy link into clipboard