The following pages link to Real-Time Systems (Q5900383):
Displaying 11 items.
- Structural transformations for data-enriched real-time systems (Q493518) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Guest editors' preface to special issue on interval temporal logics (Q2251123) (← links)
- Compositional reasoning using intervals and time reversal (Q2251129) (← links)
- Stepwise refinement of sequence diagrams with soft real-time constraints (Q2353401) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Transformations for Compositional Verification of Assumption-Commitment Properties (Q3447708) (← links)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)
- A decidable timeout-based extension of linear temporal logic (Q4583356) (← links)
- On Implementable Timed Automata (Q5041274) (← links)
- A menagerie of timed automata (Q5176174) (← links)
