IFAC Proceedings Volumes · 2009 · 19 citations · 1 references
EngineeringSystems EngineeringAutomationFormal MethodsSafety EngineeringSafety SystemsSafety ValidationSafety-critical Embedded SystemsSafety-critical SystemsFormal Safety VerificationSafety System ValidationSafety VerificationSafety Verification And ValidationTimed AutomataTimed Automata SemanticsTimed Automata Verification
1