The following pages link to Éric Rutten (Q1041295):
Displaying 7 items.
- (Q210007) (redirect page) (← links)
- (Q282088) (redirect page) (← links)
- Synthesizing structural and behavioral control for reconfigurations in component-based systems (Q282089) (← links)
- Integrating discrete controller synthesis into a reactive programming language compiler (Q378902) (← links)
- Automating the addition of fault tolerance with discrete controller synthesis (Q1041296) (← links)
- (Q4417893) (← links)
- Formal verification of programs specified with signal: Application to a power transformer station controller (Q5946571) (← links)
