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