• Home /
  • 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
Artikelnummer: 978-3-319-29509-1
Einband: Kartonierter Einband (Kt)
Verfügbarkeit: Lieferbar in ca. 20-45 Arbeitstagen
CHF 70.00
decrease increase

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.

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.
Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer EN
EinbandKartonierter Einband (Kt)
Erscheinungsjahr2016
Seitenangabe271 S.
AusgabekennzeichenEnglisch
AbbildungenX, 271 p. 86 illus. in color., farbige Illustrationen
MasseH23.5 cm x B15.5 cm 4'336 g
CoverlagSpringer (Imprint/Brand)
Auflage1st ed. 2016
ReiheCommunications in Computer and Information Science
AutorArtho, Cyrille (Hrsg.) / Ölveczky, Peter Csaba (Hrsg.)

Alle Bände der Reihe "Communications in Computer and Information Science"

Weitere Titel von Cyrille (Hrsg.) Artho

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten