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

Formal Techniques for Safety-Critical Systems

4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

Cyrille Artho und Peter Csaba Ölveczky
    • 42,99 €
    • 42,99 €

Beschreibung des Verlags

This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.
The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on timed systems; railway systems; fault tolerance; automotive systems; software and systems analysis; tools. 

GENRE
Computer und Internet
ERSCHIENEN
2016
2. Februar
SPRACHE
EN
Englisch
UMFANG
281
Seiten
VERLAG
Springer International Publishing
GRÖSSE
6,3
 MB

Mehr ähnliche Bücher

Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
2016
Formal Methods and Software Engineering Formal Methods and Software Engineering
Formal Methods and Software Engineering
2016
Formal Methods Formal Methods
Formal Methods
2018
FM 2016: Formal Methods FM 2016: Formal Methods
FM 2016: Formal Methods
2016
NASA Formal Methods NASA Formal Methods
NASA Formal Methods
2017
Formal Methods: Foundations and Applications Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications
2017

Mehr Bücher von Cyrille Artho & Peter Csaba Ölveczky

Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2019
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2017
Automated Technology for Verification and Analysis 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
Formal Techniques for Safety-Critical Systems
2015
Formal Techniques for Safety-Critical Systems Formal Techniques for Safety-Critical Systems
Formal Techniques for Safety-Critical Systems
2014