Gå direkte til innholdet
FORMS/FORMAT 2010
Spar

FORMS/FORMAT 2010

innbundet, 2011
Engelsk
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.
Undertittel
Formal Methods for Automation and Safety in Railway and Automotive Systems
Opplag
2011 ed.
ISBN
9783642142604
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
23.2.2011
Antall sider
257