Home > Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Formal Methods for Industrial Critical Systems: 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings
Book Informaton
Author
Maurice H. ter Beek; Dejan Ničković
Series
Lecture Notes in Computer Science
Volume
12327
Year of Publication
1st ed. 2020
Publisher
Springer International Publishing
Pages
XXII, 289
Language
en
ISBN
9783030582975, 9783030582982
ARI Id
1665271886350
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 19 of 19 entries
Chapters/Headings | Author(s) | Pages | Info |
i-xxii | |||
1-1 | |||
3-69 | |||
71-71 | |||
73-92 | |||
93-112 | |||
113-129 | |||
130-147 | |||
149-149 | |||
151-169 | |||
170-188 | |||
189-209 | |||
210-227 | |||
229-229 | |||
231-251 | |||
252-271 | |||
272-287 | |||
C1-C1 | |||
289-289 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 19 of 19 entries