Formal methods for industrial critical systems : 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010, proceedings /

Bibliographic Details
Corporate Authors:	International Workshop on Formal Methods for Industrial Critical Systems Antwerp, Belgium, SpringerLink (Online service)
Other Authors:	Kowalewski, S. (Stefan), Roveri, Marco
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 2010.
Series:	LNCS sublibrary. Programming and software engineering. Lecture notes in computer science ; 6371.
Subjects:	Formale Methode. Model Checking. Sicherheitskritisches System. Softwareentwicklung. Systementwurf. Verifikation. Zuverlässigkeit. Computer programs > Verification > Congresses. Formal methods (Computer science) > Congresses. Software engineering > Congresses. Antwerpen <2010>. Electronic books. Kongress.
Online Access:	Connect to the full text of this electronic book

Available Online