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.).
Material type:
TextSeries: Lecture notes in computer science ; 10471. | LNCS sublibrary. SL 2, Programming and software engineering.Publisher: Cham, Switzerland : Springer, 2017Description: 1 online resource (xiv, 235 pages) : illustrationsContent type: - text
- computer
- online resource
- 9783319671130
- 3319671138
- FMICS-AVoCS 2017
- Formal methods (Computer science) -- Congresses
- Software engineering -- Congresses
- Computer programs -- Verification -- Congresses
- Computer programs -- Reliability -- Congresses
- Computer software -- Verification -- Congresses
- Computer software -- Reliability -- Congresses
- Méthodes formelles (Informatique) -- Congrès
- Génie logiciel -- Congrès
- Logiciels -- Vérification -- Congrès
- Logiciels -- Fiabilité -- Congrès
- Computer programming -- software development
- Software Engineering
- Expert systems -- knowledge-based systems
- Mathematical theory of computation
- Programming & scripting languages: general
- Computers -- Programming -- General
- Computers -- Software Development & Engineering -- General
- Computers -- Expert Systems
- Mathematics -- Logic
- Computers -- Programming Languages -- General
- Computer programs -- Reliability
- Computer programs -- Verification
- Computer software -- Reliability
- Computer software -- Verification
- Formal methods (Computer science)
- Software engineering
- 004.01/51 23
- QA76.9.F67 I58 2017eb
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | eBook LNCS | Available |
International conference proceedings.
Includes bibliographical references and author index.
Online resource; title from PDF title page (SpringerLink, viewed September 8, 2017).
Automated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques.
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.