EAN: 9783319671123

CRITICAL SYSTEMS FORMAL METHODS AND AUTOMATED V...

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.

Aktuelle Preise zur EAN 9783319671123

Produktinformationen zur 9783319671123