Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, proceedings

Formal Methods for Industrial Critical Systems 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, proceedings

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: FMICS (VerfasserIn)
Weitere Verfasser: Lluch Lafuente, Alberto (HerausgeberIn), Mavridou, Anastasia (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Cham Springer 2021
Schriftenreihe:Lecture notes in computer science 12863
Schlagworte:
Konferenzschrift > Verifikation > Mathematische Logik > Formale Methode
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:xii, 248 Seiten
Illustrationen, Diagramme
ISBN:9783030852474
978-3-030-85247-4