The following pages link to (Q4417893):
Displayed 3 items.
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- WCET free time analysis of hard real-time systems on multiprocessors: A regular language-based model (Q2464934) (← links)