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.
Format: Paperback / softback
CONTRIBUTORS: Cyrille Artho
EAN: 9783319539454
COUNTRY: Switzerland
PAGES:
WEIGHT: 2759 g
HEIGHT: 235 cm
PUBLISHED BY: Springer International Publishing AG
DATE PUBLISHED: 2017-02-16
CITY:
GENRE: COMPUTERS / Machine Theory, COMPUTERS / Programming / General, COMPUTERS / Languages / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Computer Simulation
WIDTH: 155 cm
SPINE:
Book Themes:
Compilers and interpreters, Software Engineering, Mathematical theory of computation, Computer modelling and simulation
