Formal techniques for safety-critical systems

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: International Workshop on Formal Techniques for Safety-Critical Systems (VerfasserIn)
Weitere Verfasser: Artho, Cyrille (HerausgeberIn), Ölveczky, Peter Csaba (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam, Boston, London Elsevier 2015
Schriftenreihe:Science of computer programming volume 113, part 2 (1 December 2015)
Schlagworte:
Konferenzschrift
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:"This special issue of 'Science of computer programming' contains extended versions of selected papers from the Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS), which was held in scenic Queenstown, New Zealand, in October 2013 as a satellite event of the ICFEM Conference." - Vorwort
Literaturangaben
Beschreibung:Seite 83-220
Illustrationen