Critical Systems: Formal Methods and Automated Verification: ...

Critical Systems: Formal Methods and Automated Verification: ...
Preview

Maurice H. ter Beek• Stefania Gnesi Alexander Knapp (Eds.) Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop ...

Download

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB