Formal Techniques For Safety Critical Systems International Workshop Ftscs 2015 Paris France November 6 7 2015 Revised Selected Papers(1st Edition)
Authors:
Cyrille Artho ,Peter Csaba Olveczky
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Book details
ISBN: 3319295098, 978-3319295091
Book publisher: Springer
Book Summary: 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.
Customers also bought these books
Intelligent Information And Database Systems Second International Conference ACIIDS 2010 Hue City Vietnam March Part 2 LNAI 5991 - 1st Edition
Manh Thanh Le
ISBN: 3642121004, 978-3642121005
$0 $89.61Frequently Bought Together
Financial Accounting Tools for business decision making - 6th Edition
Paul D. Kimmel
ISBN: 978-1119191674, 047053477X, 111919167X, 978-0470534779
$0 $63.00
Emotional Intelligence Matters A Machine-Generated Literature Overview - 1st Edition
R.S. Mekhala
ISBN: 9819977266, 978-9819977260
$0 $132.99
Space Flight Dynamics From The Ground Up Background And Practical Knowledge For Orbital And Attitude Computations And Space Flight Planning - 1st Edition
Kenneth J Ernandes
ISBN: 0997147253, 978-0997147254
$0 $99.95
Crown Sporting Goods 2kg High Spin Discuss 80 Percent Rim Weight Official Track And Field Throwing -
?Crown Sporting Goods
ISBN: B084T7VD9Q
$0 $0.00
Database Systems For Advanced Applications 26th International Conference DASFAA 2021 Taipei Taiwan April Part I LNCS 12681 - 1st Edition
Christian S. Jensen
ISBN: 3030731936, 978-3030731939
$0 $74.84Top Reviews for Books
