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 / Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.).
International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.; Petrucci, Laure, editor.; Seceleanu, Cristina, editor.; Cavalcanti, Ana, editor.; International Workshop on Automated Verification of Critical Systems (17th : 2017 : Turin, Italy), jointly held conference.
2017
QA76.9.F67 I58 2017eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title 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 / Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (eds.).
Meeting Name International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.
ISBN 9783319671130 (electronic book)
3319671138 (electronic book)
9783319671123
331967112X
DOI https://doi.org/10.1007/978-3-319-67113-0
Published Cham, Switzerland : Springer, 2017.
Language English
Description 1 online resource (xiv, 235 pages) : illustrations.
Item Number 10.1007/978-3-319-67113-0 doi
Call Number QA76.9.F67 I58 2017eb
Dewey Decimal Classification 004.01/51
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.
Note International conference proceedings.
Bibliography, etc. Note Includes bibliographical references and author index.
Access Note Access limited to authorized users.
Digital File Characteristics text file PDF
Source of Description Online resource; title from PDF title page (SpringerLink, viewed September 8, 2017).
Added Author Petrucci, Laure, editor.
Seceleanu, Cristina, editor.
Cavalcanti, Ana, editor.
Added Meeting Name International Workshop on Automated Verification of Critical Systems (17th : 2017 : Turin, Italy), jointly held conference.
Series Lecture notes in computer science ; 10471.
LNCS sublibrary. SL 2, Programming and software engineering.
Available in Other Form Print version: 9783319671123
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
Automated verification techniques
Testing and scheduling
Formal Methods for mobile and autonomous robots
Modeling and analysis techniques.

Browse Subjects

Show more subjects...

Statistics

from
to
Export