Formal methods for industrial critical systems : 25th international conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings

Formal methods for industrial critical systems 25th international conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: FMICS (VerfasserIn), Nickovic, Dejan (HerausgeberIn)
Weitere Verfasser: Beek, Maurice H. ter (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer Nature Switzerland 2020
Schriftenreihe:Lecture notes in computer science 12327
Schlagworte:
Softwareentwicklung > Verifikation > Systemanalyse > Formale Methode > Systementwurf > Sicherheitskritisches System > Konferenzschrift > Cyber-physisches System > Temporale Logik > Model Checking
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Titelaufnahme entstanden auf Grundlage der Online-Ausgabe
Beschreibung:XXII, 287 Seiten
Illustrationen
ISBN:9783030582975
978-3-030-58297-5