Publication | Closed Access
A specification-oriented semantics for the refinement of real-time systems
48
Citations
7
References
1994
Year
Specification LanguageFormal SpecificationEngineeringAutomated ReasoningVerificationFormal MethodsSoftware EngineeringSystems EngineeringReal-time SystemsFormal VerificationSystem SoftwareSoftware DesignSystem Specification
| Year | Citations | |
|---|---|---|
Page 1
Page 1