Formal Techniques For Safety Critical Systems 6th International Workshop Ftscs 2018 Gold Coast Australia November 2018 Revised Selected Paper(1st Edition)
Authors:
Cyrille Artho ,Peter Csaba Olveczky
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 303012987X, 978-3030129873
Book publisher: Springer
Book Summary: This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.
Customers also bought these books
Operations Research And Enterprise Systems 7th International Conference Icores 2018 Funchal Madeira Portugal January 24 26 2018 - 1st Edition
Greg H. Parlier
ISBN: 3030160343, 978-3030160340
$0 $47.40Frequently Bought Together
Statistics For Business & Economics - 14th Edition
David R. Anderson
ISBN: 1337901067, 978-1337901062
$0 $27.71
Calculus Early Transcendentals - 9th Edition
James Stewart
ISBN: 1337613924, 978-1337613927
$0 $83.57
Chemistry In Context - 10th Edition
American Chemical Society
ISBN: 1260240843, 978-1260240849
$0 $74.05
On The Move To Meaningful Internet Systems Otm 2010 International Workshops Avytat Adi Dataview Ei2n Isde - 2010 Edition
Robert Meersman
ISBN: 3642169600, 978-3642169601
$0 $109.99
Honma Golf Driver Tw747 455 Driver Diamanad F60 Carbon Mens 3190000309440010 Right Loft Angle 9 5 Count 1w Flex S -
Honma
ISBN: B07KSKMGY8
$0 $0.00Top Reviews for Books
