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
€ 62.91
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: 161 pages, 40 black & white illustrations, biography. BIC Classification: UGK; UMX; UMZ; UYZG. Category: (P) Professional & Vocational. Dimension: 235 x 155. Weight in Grams: 279.
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.
The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.
The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.
Product Details
Format
Paperback
Publication date
2017
Publisher
Springer International Publishing AG Switzerland
Number of pages
161
Condition
New
Series
Communications in Computer and Information Science
Number of Pages
161
Place of Publication
Cham, Switzerland
ISBN
9783319539454
SKU
V9783319539454
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Techniques for Safety-Critical Systems