Formal Methods for Industrial Critical Systems 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings

Gespeichert in:
Hauptverfasser:
Larsen, Kim Guldstrand (HerausgeberIn), Willemse, Tim (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2019
Ausgabe:
1st ed. 2019
Umfang:
1 Online-Ressource (XV, 161 p. 156 illus., 33 illus. in color)
text file PDF
Schriftenreihe:
Programming and Software Engineering
ISBN:
9783030270087
DOI:
10.1007/978-3-030-27008-7
Schlagworte:
Systementwurf
Verifikation
Sicherheitskritisches System
Systemanalyse
Formale Methode
Softwareentwicklung
Computer science
Software engineering
Information theory
Artificial intelligence
Computer simulation
Bezugswerke:
Links: