Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.
International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy); Beek, Maurice H. ter, editor.; Gnesi, Stefania, 1954- editor.; Knapp, Alexander, 1971- editor.; International Workshop on Automated Verification of Critical Systems (16th : 2016 : Pisa, Italy), jointly held conference.
2016
QA76.9.F67 I58 2016eb
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 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.
Meeting Name
International Workshop on Formal Methods for Industrial Critical Systems (21st : 2016 : Pisa, Italy)
ISBN
9783319459431 (electronic book)
3319459430 (electronic book)
9783319459424
3319459430 (electronic book)
9783319459424
Published
Cham : Springer, 2016.
Language
English
Description
1 online resource (xvi, 247 pages) : illustrations.
Item Number
10.1007/978-3-319-45943-1 doi
Call Number
QA76.9.F67 I58 2016eb
Dewey Decimal Classification
004.01/51
Summary
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016. The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Note
International conference proceedings.
Includes author index.
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 23, 2016).
Added Author
Beek, Maurice H. ter, editor.
Gnesi, Stefania, 1954- editor.
Knapp, Alexander, 1971- editor.
Gnesi, Stefania, 1954- editor.
Knapp, Alexander, 1971- editor.
Added Meeting Name
International Workshop on Automated Verification of Critical Systems (16th : 2016 : Pisa, Italy), jointly held conference.
Series
Lecture notes in computer science ; 9933.
LNCS sublibrary. SL 2, Programming and software engineering.
LNCS sublibrary. SL 2, Programming and software engineering.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
All Resources