Formal Methods for Industrial Critical Systems
Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi
Topics & Concepts
Computer scienceFormal methodsSoftware engineeringProgramming languageTheoretical computer scienceFormal Methods in VerificationPetri Nets in System ModelingReal-Time Systems Scheduling