Publication | Closed Access
Specification of temporal properties with OCL
11
Citations
14
References
2014
Year
EngineeringAutomated ReasoningFormal MethodsTemporal LogicTimed SystemFormal VerificationTemporal DatabaseTemporal Properties
| Year | Citations | |
|---|---|---|
Page 1
Page 1