TY  - BOOK
AU  - Artho,Cyrille
AU  - Ölveczky,Peter Csaba
ED  - SpringerLink (Online service)
TI  - Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers 
T2  - Communications in Computer and Information Science,
SN  - 9783319539461
AV  - QA76.9.L63 
U1  - 005.1015113 23
PY  - 2017///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Computer logic
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer simulation
KW  - Computers
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Programming Languages, Compilers, Interpreters
KW  - Simulation and Modeling
KW  - Computation by Abstract Devices
N1  - Specification and verification -- Automotive and railway systems -- Circuits and cyber-physical systems -- Parametrized verification; Available to subscribing member institutions only. Доступно лише організаціям членам підписки
N2  - 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
UR  - https://doi.org/10.1007/978-3-319-53946-1
ER  -