Formal methods for industrial critical systems : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Workshop on Formal Methods for Industrial Critical Systems (19th : 2014 : Florence, Italy)
Imprint:	Cham : Springer, 2014.
Description:	1 online resource (xiv, 201 pages) : illustrations.
Language:	English
Series:	Lecture Notes in Computer Science, 0302-9743 ; 8718 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 8718. 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/11087732

Hidden Bibliographic Details
Varying Form of Title:	FMICS 2014
Other authors / contributors:	Lang, Frédéric, editor. Flammini, Francesco, editor.
ISBN:	9783319107028 331910702X 3319107011 9783319107011 9783319107011
Notes:	International conference proceedings. Includes author index. Online resource; title from PDF title page (SpringerLink, viewed September 18, 2014).
Summary:	This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.
Other form:	Printed edition: 9783319107011
Standard no.:	10.1007/978-3-319-10702-8

Similar Items