Cover Image

Formal methods for industrial critical systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, proceedings /

Bibliographic Details
Corporate Author: International Workshop on Formal Methods for Industrial Critical Systems Trento, Italy
Other Authors: Salaün, G. (Gwen), Schätz, Bernhard
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2011]
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 6959.
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:Electronic resource.
International conference proceedings.
Physical Description:1 online resource.
Bibliography:Includes bibliographical references and author index.
ISBN:3642244319 (electronic bk.)
9783642244315 (electronic bk.)
ISSN:0302-9743 ;
DOI:10.1007/978-3-642-24431-5