Pages that link to "Item:Q5308410"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308410):
Displayed 6 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Verifying distributed real-time properties of embedded systems via graph transformations and model checking (Q853626) (← links)
- Schedulability analysis of fixed-priority systems using timed automata (Q2368958) (← links)
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (Q2464934) (← links)
- Formal verification of multitasking applications based on timed automata model (Q2475307) (← links)
- Task automata: Schedulability, decidability and undecidability (Q2643078) (← links)