Home > Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Book Informaton
Author
Stefan Kowalewski; Marco Roveri
Series
Lecture Notes in Computer Science
Volume
6371
Year of Publication
2010
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XII, 231
Language
en
ISBN
9783642158971, 9783642158988, 3642158978
ARI Id
1664790933803
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 16 of 16 entries
Chapters/Headings | Author(s) | Pages | Info |
1-16 | |||
17-32 | |||
33-49 | |||
50-66 | |||
67-81 | |||
82-98 | |||
99-114 | |||
115-131 | |||
132-147 | |||
148-163 | |||
164-179 | |||
180-197 | |||
198-214 | |||
215-230 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 16 of 16 entries