Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Techniques for Safety-Critical Systems
. Ed(S): Artho, Cyrille; Olveczky, Peter Csaba
€ 63.83
FREE Delivery in Ireland
Description for Formal Techniques for Safety-Critical Systems
paperback. Editor(s): Artho, Cyrille; Olveczky, Peter Csaba. Series: Communications in Computer and Information Science. Num Pages: 271 pages, 86 colour illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYZG. Category: (G) General (US: Trade). Dimension: 235 x 155 x 15. Weight in Grams: 438.
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.
The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.
The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools.
Product Details
Format
Paperback
Publication date
2016
Publisher
Springer International Publishing AG Switzerland
Number of pages
271
Condition
New
Series
Communications in Computer and Information Science
Number of Pages
271
Place of Publication
Cham, Switzerland
ISBN
9783319295091
SKU
V9783319295091
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Techniques for Safety-Critical Systems