Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice Ter Beek; Dejan Nickovic

doi:10.1007/978-3-030-58298-2

Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

Maurice Ter Beek (Redakteur:in), Dejan Nickovic (Redakteur:in)

Security & Communication Technologies

Publikation: Bücher und Berichte › Tagungsband

Originalsprache	Englisch
Verlag	Springer
Seitenumfang	287
DOIs	https://doi.org/10.1007/978-3-030-58298-2
Publikationsstatus	Veröffentlicht - 2020

Research Field

Dependable Systems Engineering

Zugriff auf Dokument

10.1007/978-3-030-58298-2Lizenz: Nicht angegeben

Diese Publikation zitieren

@book{c532314b7f8147f38a66c4b7c67bc80b,

title = "Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings",

editor = "{Ter Beek}, Maurice and Dejan Nickovic",

year = "2020",

doi = "10.1007/978-3-030-58298-2",

language = "English",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

A2 - Ter Beek, Maurice

A2 - Nickovic, Dejan

PY - 2020

Y1 - 2020

U2 - 10.1007/978-3-030-58298-2

DO - 10.1007/978-3-030-58298-2

M3 - Conference Proceedings

BT - Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020, Proceedings

PB - Springer

ER -