Forms/format 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems

Name: Forms/format 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
Price: 218.49 USD
Availability: InStock
ISBN: 9783642142604

ISBN-10: 3642142605

ISBN-13: 9783642142604

Edition: 2011

Authors: Eckehard Schnieder, Geza Tarnai

List price: $219.99

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $218.49

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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. Formal techniques provide next to correctness and integrity checkups ' especially for safety relevant systems ' the possibility to model, prove, simulate and check the specification of the system as well as to generate the system implementations.Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2010. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation…

Book details

List price: $219.99
Copyright year: 2011
Publisher: Springer Berlin / Heidelberg
Publication date: 2/23/2011
Binding: Hardcover
Pages: 257
Size: 6.10" wide x 9.25" long x 0.75" tall
Weight: 2.706
Language: English