Cover Image
Read Now

1
Published 2017
Springer International Publishing
“... Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Notation in Industry -- Techniques for Temporal Logic Model Checking...”
Cover Image
Read Now

3
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Semantics Hides Fewer Errors -- Special Track: Industrial Applications I -- Analysis of a Clock...”
Cover Image
Read Now

4
Published 2021
Springer International Publishing
Table of Contents: “... Industrial Robotic Systems: A New Battlefield! -- Gaining Confidence in the Trustworthiness of Robotic...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Operational Semantics of OO Programs -- Modeling and Analysis of Thread-Pools in an Industrial Communication...”