TY  - BOOK
AU  - Núñez,Manuel
AU  - Güdemann,Matthias
ED  - SpringerLink (Online service)
TI  - Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings 
T2  - Programming and Software Engineering
SN  - 9783319194585
AV  - QA76.7-76.73 
U1  - 005.13 23
PY  - 2015///
CY  - Cham
PB  - Springer International Publishing, Imprint: Springer
KW  - Programming languages (Electronic computers)
KW  - Computer logic
KW  - Software engineering
KW  - Special purpose computers
KW  - Mathematical logic
KW  - Programming Languages, Compilers, Interpreters
KW  - Logics and Meanings of Programs
KW  - Software Engineering
KW  - Special Purpose and Application-Based Systems
KW  - Mathematical Logic and Formal Languages
N1  - Applications.- Protocols -- Specification and analysis -- Verification
N2  - This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification
UR  - https://doi.org/10.1007/978-3-319-19458-5
ER  -