The following pages link to (Q3126783):
Displaying 10 items.
- Mathematical analysis of stage-based programmable logic controller (Q636562) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Induction in the timed interval calculus (Q1399964) (← links)
- Specification and verification of multimedia synchronization in duration calculus (Q1429426) (← links)
- PLC-automata: A new class of implementable real-time automata (Q1589587) (← links)
- Prefix and Projection onto State in Duration Calculus (Q2842576) (← links)
- Interval Duration Logic (Q2842590) (← links)
- Automatic Verification of Combined Specifications: An Overview (Q2873685) (← links)
- Verification of cooperating traffic agents (Q3442637) (← links)
- Safe Runtime Verification of Real-Time Properties (Q3648826) (← links)
