Publication | Closed Access
Applications of temporal logic to the specification of real time systems (extended abstract)
32
Citations
0
References
1988
Year
Unknown Venue
Real-time SystemEngineeringAutomated ReasoningReal-time OperationVerificationAutomationFormal MethodsSystems EngineeringReal-time SystemsComputer ScienceTemporal DatabasesExtended AbstractTimed SystemTemporal LogicFormal VerificationTemporal ReasoningSystem SpecificationReal Time Systems
No additional data available for this publication yet. Check back later!