Pages that link to "Item:Q1592441"
From MaRDI portal
The following pages link to Synthesis of discrete-event controllers based on the signal environment (Q1592441):
Displaying 4 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)
- Symbolic synthesis of masking fault-tolerant distributed programs (Q1938357) (← links)
- The complexity of automated addition of fault-tolerance without explicit legitimate states (Q2355327) (← links)