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:4aa347c5-4002-40ef-9d6c-9de3c772b736
QR
Document type