Publication | Closed Access
A functional model for describing and reasoning about time behaviour of computing systems
55
Citations
7
References
1986
Year
EngineeringFormal ModelingAutomated ReasoningProgram AnalysisFormal MethodsSystems EngineeringComputer ScienceTime BehaviourFunctional ModelTimed SystemModel Of ComputationTemporal LogicFormal VerificationSystem SoftwareSoftware DesignSystem Specification
| Year | Citations | |
|---|---|---|
Page 1
Page 1