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