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 (Editor)
, Dejan Nickovic (Editor)

Research output: Books and Reports › Conference Proceedings

Original language	English
Publisher	Springer
Number of pages	287
DOIs	https://doi.org/10.1007/978-3-030-58298-2
Publication status	Published - 2020

Research Field

Dependable Systems Engineering

Access to Document

10.1007/978-3-030-58298-2Licence: Unspecified

Cite this

@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 -