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

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 an...

Full description

Bibliographic Details

Other Authors:	ter Beek, Maurice H. (Editor), Gnesi, Stefania (Editor), Knapp, Alexander (Editor)
Format:	eBook
Language:	English
Published:	Cham Springer International Publishing 2016, 2016
Edition:	1st ed. 2016
Series:	Programming and Software Engineering
Subjects:	Compilers (computer Programs) Computer Science Logic And Foundations Of Programming Compilers And Interpreters Software Engineering Computer Science Formal Languages And Automata Theory Machine Theory Special Purpose And Application-based Systems Computers, Special Purpose
Online Access:	https://doi.org/10.1007/978-3-319-45943-1?nosfx=y
Collection:	Springer eBooks 2005- - Collection details see MPG.ReNa