Home | Help | New Search | 中文模式

AS Library Service 


Start Over Export MARC Display Return To Browse Another Search
   
Record:   Prev Next
Title FORMS/FORMAT 2010 [electronic resource] : formal methods for automation and safety in railway and automotive systems / edited by Eckehard Schnieder, Geza Tarnai
Imprint Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011
 book jacket
Click on the following to:
eBook(Springer)
Descript xi, 256 p. : ill., digital ; 24 cm
Note Springer
Host Item Springer eBooks
Subject Transportation -- Safety measures -- Data processing -- Congresses
Formal methods (Computer science) -- Congresses
System safety -- Congresses
Engineering
Quality Control, Reliability, Safety and Risk
Automotive Engineering
Simulation and Modeling
Complexity
Alt Author Schnieder, Eckehard
Tarnai, Geza
SpringerLink (Online service)
Record:   Prev Next
Start Over Export MARC Display Return To Browse Another Search


Home | Help | 中文模式