Formal methods for industrial critical systems
Subtitle: 15th international workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010 : proceedings
By: Stefan Kowalewski, Marco Roveri (eds.).
Contributors: Kowalewski, S. (Stefan); Roveri, Marco
Series: Lecture notes in computer science -- 6371; LNCS sublibrary: SL 2-programming and software engineering
Publisher: Springer
Published: 2010
Place of publication: Berlin; New York
Language: eng
Number of pages: 230
ISBN-13: 9783642158971
Subjects: Software engineering; Formale Methode; Model Checking; Computer programs; Zuverlässigkeit; Softwareentwicklung; Congresses; Verification; Sicherheitskritisches System; Reliability; Formal methods (Computer science); Systementwurf; Verifikation; Computer software
Notes: Includes bibliographical references and index.

Also issued online.