Pages that link to "Item:Q1589587"
From MaRDI portal
The following pages link to PLC-automata: A new class of implementable real-time automata (Q1589587):
Displaying 6 items.
- Axiomatisation and decidability of multi-dimensional Duration Calculus (Q868026) (← links)
- Robust safety of timed automata (Q1028728) (← links)
- PLC-automata: A new class of implementable real-time automata (Q1589587) (← links)
- Shrinking timed automata (Q2637311) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Temporal Logic for Programmable Logic Controllers (Q5060076) (← links)
