Formal Techniques For Safety Critical Systems 5th International Workshop Ftscs 20 Tokyo Japan November 14 20 Revised Selected Papers(1st Edition)
Authors:
Cyrille Artho ,Peter Csaba Olveczky
In Stock
Include with your book
Free shipping: April 03, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3319539450, 978-3319539454
Book publisher: Springer
Formal Techniques For Safety Critical Systems 5th International Workshop Ftscs 20 Tokyo Japan November 14 20 Revised Selected Papers 1st Edition Summary: 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.
Customers also bought these books
Mazel Single Golf 8 Iron And Golf Club Groove Sharpener Tool Bundle Of 2 -
?Mazel
ISBN: B0CB8LPJJ2
$0 $72.00Frequently Bought Together
Accounting Principles - IFRS global edition
Paul D Kimmel
ISBN: 1-119-41959-4, 470534796, 9780470534793, 9781119419594 , 978-1119419617
$0 $77.29
Coordinating Public Debt And Monetary Management Institutional And Operational Arrangements - Light Scratch To Front Cover, O/wise Condition Vg.
V Sundararajan
ISBN: 1557755558, 978-1557755551
$0 $37.87
Startup Sales Field Notes How To Build Enterprise Sales From Scratch To Scale Practical Sales Methodology And Execution Skills For Founders And Their Teams - 1st Edition
Kent Jamison Summers
ISBN: 979-8373956864
$0 $36.95
Cemeteries And Graveyards A Guide For Local And Family Historians In England And Wales - 1st Edition
Celia Heritage
ISBN: 1526702371 , 978-1526702371
$0 $22.00
High Speed Management And Organizational Communication In The 1990s - 1st Edition
Sarah Sanderson King
ISBN: 0791418138, 9780791418130
$0 $35.00
Smart Solutions In Today S Transport 17th International Conference On Transport Systems Telematics Tst 2017 Katowice Ustro Poland April 5 8 2017 - 1st Edition
Jerzy Mikulski
ISBN: 3319662503, 978-3319662503
$0 $54.99Top Reviews for Books
