Editors:
Includes supplementary material: sn.pub/extras
Part of the book series: Communications in Computer and Information Science (CCIS, volume 694)
Conference series link(s): FTSCS: International Workshop on Formal Techniques for Safety-Critical Systems
Conference proceedings info: FTSCS 2016.
Buying options
This is a preview of subscription content, access via your institution.
Table of contents (9 papers)
-
Front Matter
-
Specification and Verification
-
Front Matter
-
-
Automotive and Railway Systems
-
Front Matter
-
-
Circuits and Cyber-Physical Systems
-
Front Matter
-
-
Back Matter
About this book
Keywords
- certification
- cyber-physical systems
- fault tolerance
- formal languages
- formal methods
- industrial applications
- model checking
- modeling
- railway systems
- real-time systems
- safety critical systems
- semi-formal methods
- software analysis
- software engineering
- specification
- verification
Editors and Affiliations
-
KTH Royal Institute of Technology , Stockholm, Sweden
Cyrille Artho
-
Dept of Informatics, University of Oslo, Oslo, Norway
Peter Csaba Ölveczky
Bibliographic Information
Book Title: Formal Techniques for Safety-Critical Systems
Book Subtitle: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Editors: Cyrille Artho, Peter Csaba Ölveczky
Series Title: Communications in Computer and Information Science
DOI: https://doi.org/10.1007/978-3-319-53946-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-53945-4Published: 16 February 2017
eBook ISBN: 978-3-319-53946-1Published: 15 February 2017
Series ISSN: 1865-0929
Series E-ISSN: 1865-0937
Edition Number: 1
Number of Pages: XII, 161
Number of Illustrations: 40 b/w illustrations
Topics: Computer Science Logic and Foundations of Programming, Software Engineering, Compilers and Interpreters, Computer Modelling, Theory of Computation