Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

    • $59.99
    • $59.99

Publisher Description

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.

GENRE
Computing & Internet
RELEASED
2017
15 February
LANGUAGE
EN
English
LENGTH
173
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
3.3
MB

More Books Like This

Formal Methods and Software Engineering Formal Methods and Software Engineering
2016
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
2017
FM 2016: Formal Methods FM 2016: Formal Methods
2016
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2022
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
2015
Formal Methods Formal Methods
2018

More Books by Cyrille Artho & Peter Csaba Ölveczky

Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
2019
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
2016
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
2016
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
2015
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
2014