TY  - BOOK
AU  - Petrucci,Laure
AU  - Seceleanu,Cristina
AU  - Cavalcanti,Ana
ED  - International Workshop on Formal Methods for Industrial Critical Systems
ED  - International Workshop on Automated Verification of Critical Systems
TI  - 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 
T2  - Lecture notes in computer science,
SN  - 9783319671130
AV  - QA76.9.F67 I58 2017eb
U1  - 004.01/51 23
PY  - 2017///
CY  - Cham, Switzerland
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Software engineering
KW  - Computer programs
KW  - Verification
KW  - Reliability
KW  - Computer software
KW  - Méthodes formelles (Informatique)
KW  - Congrès
KW  - Génie logiciel
KW  - Logiciels
KW  - Vérification
KW  - Fiabilité
KW  - Computer programming
KW  - software development
KW  - bicssc
KW  - Software Engineering
KW  - Expert systems
KW  - knowledge-based systems
KW  - Mathematical theory of computation
KW  - Programming & scripting languages: general
KW  - Computers
KW  - Programming
KW  - General
KW  - bisacsh
KW  - Software Development & Engineering
KW  - Expert Systems
KW  - Mathematics
KW  - Logic
KW  - Programming Languages
KW  - fast
KW  - Congress
KW  - proceedings (reports)
KW  - aat
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - International conference proceedings; Includes bibliographical references and author index; Automated verification techniques -- Testing and scheduling -- Formal Methods for mobile and autonomous robots -- Modeling and analysis techniques
N2  - 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
UR  - https://link.springer.com/10.1007/978-3-319-67113-0
ER  -