Formal Techniques for Safety-Critical Systems, 1st ed. 2017 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers Communications in Computer and Information Science Series, Vol. 694
Langue : Anglais
Coordonnateurs : Artho Cyrille, Ölveczky Peter Csaba
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.
The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.
Specification and verification.- Automotive and railway systems.- Circuits and cyber-physical systems.- Parametrized verification.
Includes supplementary material: sn.pub/extras
Date de parution : 02-2017
Ouvrage de 161 p.
15.5x23.5 cm
Thèmes de Formal Techniques for Safety-Critical Systems :
Mots-clés :
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
© 2024 LAVOISIER S.A.S.
