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:448f19aa-bd30-4169-b681-b3d60ed60d4c
QR
Document type
File
File