The following pages link to Christophe Morvan (Q1772106):
Displaying 8 items.
- Families of automata characterizing context-sensitive languages (Q1772107) (← links)
- (Q2271526) (redirect page) (← links)
- Modelling and passivity based control of switched systems from bond graph formalism: application to multicellular converters (Q2271527) (← links)
- Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems (Q2348371) (← links)
- Test Generation from Recursive Tiles Systems (Q2900183) (← links)
- (Q2911619) (← links)
- Petri Nets with Structured Data (Q2941152) (← links)
- Petri Net Reachability Graphs: Decidability Status of First Order Properties (Q3166230) (← links)
