Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers

Formal techniques for safety-critical systems 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers

Analysis and verification of safety-critical systems -- Analysis of timed systems -- Semantics and analysis methods -- Model transformation.

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FTSCS (VerfasserIn)
Weitere Verfasser: Artho, Cyrille (HerausgeberIn), Ölveczky, Peter Csaba (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham, Switzerland Springer 2019
Schriftenreihe:Communications in computer and information science 1008
Schlagworte:
Computer security > Computer architecture > Systems engineering > Konferenzschrift > Computerarchitektur > Systementwicklung
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Analysis and verification of safety-critical systems -- Analysis of timed systems -- Semantics and analysis methods -- Model transformation.
Beschreibung:Includes author index
Beschreibung:xii, 177 pages
24 cm
ISBN:303012987X
3-030-12987-X
9783030129873
978-3-030-12987-3