Temporal Logic, temporal reasoning, real time temporal logic, metric of time, executable temporal logic, verification and validation, state machines
Axmedis ID
urn:axmedis:00000:obj:5b22ad9a-4c08-46a6-a3a3-af17c4a9bd73
QR
Document type
File
File