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 ReportsConference Proceedings

Original languageEnglish
PublisherSpringer
Number of pages287
DOIs
Publication statusPublished - 2020

Research Field

  • Dependable Systems Engineering

Cite this