9783642142611 (electronic bk.)
IR
E-5891
انگلیسی
IR
Forms/Format 201
[Book]
:formal methods for automation and safety in railway and automotive systems
/ Eckehard Schnieder, Gaeza Tarnai, Editors
Berlin ;Heidelberg ;New York
: Springer,
, c2011.
1 online resource (xi, 256 p.)
Print
Includes bibliographical references and author index.
Transportation, Safety measures, Data processing, Congresses
Formal methods (Computer science), Congresses
System safety, Congresses
Electronic books
388
.
0285
TA1005
.
F67
2011
Schnieder, Eckehard
Tarnai, Gaeza
ایران
old catalog
p
BL
1
a
Y
