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
![Expressing and Organizing Specification Patterns with TILCO-X Expressing and Organizing Specification Patterns with TILCO-X](/sites/default/files/documents/qr/qr_5688.png)
Document type