Options
Title
Formal methods for automation and safety in railway and automotive systems. FORMS/FORMAT 2010
Title Supplement
8th symposium; Proceedings; 02.-03.12.2010, Braunschweig
Person Involved
Publisher
Publishing Place
Berlin
Publication Date
2011
ISBN
978-3-642-14260-4
978-3-642-14261-1