Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
Formal Techniques for Safety-Critical Systems : 5th International Workshop
FTSCS 2016TokyoJapanNovember 142016Revised Selected Papers
SR 324
Inclusive of VAT
SR19Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR324
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
Or
About this Product
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.
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.
Report an issue with this product.
