Languages
FMICS (Conference) (2020 :)
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Formal methods for industrial critical systems = 25th International Conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings /
by:
FMICS (Conference) (2020 :); ter Beek, Maurice H.; Nickovic, Dejan.; SpringerLink (Online service)
(Electronic resources)