FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
by
 
Schnieder, Eckehard. editor.

Title
: 
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems

Author
: 
Schnieder, Eckehard. editor.

ISBN
: 
9783642142611

Physical Description
: 
XI, 257p. online resource.

Subject Term
: 
Engineering.
 
Computer simulation.
 
Physics.
 
System safety.

Added Author
: 
Tarnai, Geza.

Added Corporate Author
: 
SpringerLink (Online service)

Electronic Access
: 
http://dx.doi.org/10.1007/978-3-642-14261-1


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book192596-2001ONLINEElektronik Kütüphane