Formal methods for industrial critical systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015, Proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Workshop on Formal Methods for Industrial Critical Systems (20th : 2015 : Oslo, Norway)
Imprint:	Cham : Springer, 2015.
Description:	1 online resource (xvi, 213 pages) : illustrations.
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 9128 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 9128. LNCS sublibrary. SL 2, Programming and software engineering.
Subject:	Formal methods (Computer science) -- Congresses. Software engineering -- Congresses. Computer programs -- Verification -- Congresses. Computer programs -- Reliability -- Congresses. Computer software -- Verification -- Congresses. Computer software -- Reliability -- Congresses. Computer programs -- Reliability. Computer programs -- Verification. Computer software -- Reliability. Computer software -- Verification. Formal methods (Computer science) Software engineering. Conference papers and proceedings.
Format:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11094065

Hidden Bibliographic Details
Varying Form of Title:	FMICS 2015
Other authors / contributors:	Núñez, Manuel (Professor), editor. Güdemann, Matthias, editor.
ISBN:	9783319194585 3319194585 9783319194578 3319194577 9783319194578
Digital file characteristics:	text file PDF
Notes:	International conference proceedings. Includes bibliographical references and author index. Online resource; title from PDF title page (SpringerLink, viewed May 22, 2015).
Summary:	This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Other form:	Printed edition: 9783319194578
Standard no.:	10.1007/978-3-319-19458-5

Similar Items