Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.
Imprint:	Cham, Switzerland : Springer, 2017.
Description:	1 online resource (xiv, 235 pages) : illustrations
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 10471 LNCS sublibrary. SL 2, Programming and software engineering Lecture notes in computer science ; 10471. 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/11361311

Hidden Bibliographic Details
Varying Form of Title:	FMICS-AVoCS 2017
Other authors / contributors:	Petrucci, Laure, editor. Seceleanu, Cristina, editor. Cavalcanti, Ana, editor. International Workshop on Automated Verification of Critical Systems (17th : 2017 : Turin, Italy), jointly held conference.
ISBN:	9783319671130 3319671138 9783319671123 331967112X
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 September 8, 2017).
Summary:	This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.
Other form:	Printed edition: 9783319671123
Standard no.:	10.1007/978-3-319-67113-0

Description
Summary:	This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, held in Turin, Italy, in September 2017. The 14 full papers presented together with one invited talk were carefully reviewed and selected from 30 submissions. They are organized in the following sections: Automated verification techniques; Testing and scheduling; Formal Methods for mobile and autonomous robots; and Modeling and analysis techniques.
Item Description:	International conference proceedings.
Physical Description:	1 online resource (xiv, 235 pages) : illustrations
Bibliography:	Includes bibliographical references and author index.
ISBN:	9783319671130 3319671138 9783319671123 331967112X
ISSN:	0302-9743 ;