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
Include with your book
Free shipping: April 03, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 303012987X, 978-3030129873
Book publisher: Springer
Formal Techniques For Safety Critical Systems 6th International Workshop Ftscs 2018 Gold Coast Australia November 2018 Revised Selected Paper 1st Edition 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
The Mig Diaries Fighter Pilot Memoirs And Accounts Of Cuban Saaf And Angolan Air Combat In Southern African Skies - 1st Edition
Mr Lionel Reid
ISBN: 979-8394092459
$0 $32.00
Bests Insurance Reports Volume 10 Upon All American And Foreign Joint Stock Companies And American Mutual Companies And Lloyds Associations States Fire Marine Liability Steam B - 1st Edition
Books Group
ISBN: 123640985X, 978-1236409850
$0 $70.30
Fundamentals Of Database Systems - 7th Edition
Ramez Elmasri
ISBN: 0133970779, 978-0133970777
$0 $175.65
Financial Management Core Concepts - 4th Edition
Raymond Brooks
ISBN: 134730417, 134730410, 978-0134730417
$0 $159.99
Beyond Knowing Mysteries And Messages Of Death And Life From A Forensic Pathologist - 1st Trade Paper Edition
M D Janis Amatuzio
ISBN: 1577316347, 978-1577316343
$0 $1.99
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 $9.48
Honma Golf Driver Tw747 455 Driver Diamanad F60 Carbon Mens 3190000309440010 Right Loft Angle 9 5 Count 1w Flex S -
Honma
ISBN: B07KSKMGY8
$0 $77.00Top Reviews for Books
