Results
FORMS/FORMAT 2010
Formal Methods for Automation and Safety in Railway and Automotive Systems
© 2011
Hard cover - Print (ISBN: 978-3-642-14260-4)
Electronic (ISBN: 978-3-642-14261-1)
Soft cover - Print (ISBN: 978-3-642-42716-9)
View this book on
SpringerLink
Download Product Archive File - 978-3-642-14261-1