Publication | Closed Access
Compositional verification of real-time systems using Ecdar
21
Citations
19
References
2012
Year
Compositional VerificationEngineeringProgram AnalysisVerificationFormal MethodsComputer-aided VerificationSystems EngineeringFormal TechniqueReal-time SystemsComputer ScienceFormal VerificationSoftware AnalysisSystem SoftwareSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1