Cover Image

Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008 : revised selected papers /

Bibliographic Details
Corporate Author: International Workshop on Formal Methods for Industrial Critical Systems L'Aquila, Italy
Other Authors: Cofer, Darren, Fantechi, Alessandro
Format: Conference Proceeding eBook
Language:English
Published: Berlin : Springer, [2009]
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 5596.
Subjects:
Computer programs > Reliability > Congresses.
Computer programs > Verification > Congresses.
Computer software > Reliability > Congresses.
Computer software > Verification > Congresses.
Formal methods (Computer science) > Congresses.
Software engineering > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Item Description:Description based on print version record.
Electronic resource.
Physical Description:1 online resource (x, 231 pages) : illustrations
Bibliography:Includes bibliographical references.
ISBN:3642032400
9783642032400
ISSN:0302-9743 ;
DOI:10.1007/978-3-642-03240-0