Formal Techniques for Safety-Critical Systems
6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
Published on 2. February 2019
Book
Paperback/Softback
XII, 179 pages
978-3-030-12987-3 (ISBN)
Description
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.
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.
More details
Series
Edition
2019 ed.
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Target group
Professional and scholarly
Illustrations
270 s/w Abbildungen, 23 farbige Abbildungen
XII, 179 p. 293 illus., 23 illus. in color.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 11 mm
Weight
300 gr
ISBN-13
978-3-030-12987-3 (9783030129873)
DOI
10.1007/978-3-030-12988-0
Schweitzer Classification
Other editions
Additional editions
Cyrille Artho | Peter Csaba Ölveczky
Formal Techniques for Safety-Critical Systems
6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers
E-Book
02/2019
Springer
€53.49
Available for download
Content
Invited paper.- Analysis and Verification of Safety-Critical Systems.- Analysis of Timed Systems.- Semantics and Analysis Methods.- Model Transformation.