Home > Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L' Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L' Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Book Informaton
Author
Darren Cofer; Alessandro Fantechi
Series
Lecture Notes in Computer Science
Volume
5596
Year of Publication
2009
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
X, 233
Language
en
ISBN
9783642032394, 9783642032400
ARI Id
1664705766108
This page has been accessed 9 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 20 entries
Chapters/Headings | Author(s) | Pages | Info |
1-1 | |||
2-2 | |||
3-3 | |||
4-6 | |||
7-22 | |||
23-36 | |||
37-52 | |||
53-68 | |||
69-84 | |||
85-102 | |||
103-118 | |||
119-134 | |||
135-149 | |||
150-165 | |||
166-181 | |||
182-198 | |||
199-214 | |||
215-231 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 20 entries
Topics
Logic design Computer science Software engineering Formal methods (Computer science) Congresses Computer programs Verification Reliability Computer software Programmverifikation Kongress Softwarespezifikation Formale Methode Zuverlässigkeit Sicherheitskritisches System Eingebettetes System Softwareentwicklung Fehlertoleranz Systementwurf Model Checking Verifikation System design