Siirry suoraan sisältöön
FORMS/FORMAT 2010
Tallenna

FORMS/FORMAT 2010

Complexity in automation- and safety systems in railway as well as automotive applications are dominated more and more by formal description means, methods and tools.
Alaotsikko
Formal Methods for Automation and Safety in Railway and Automotive Systems
Painos
2011 ed.
ISBN
9783642427169
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
29.9.2014
Sivumäärä
257