Travelled to:1 × China
1 × Germany
Collaborated with:S.Moisan A.Ressouche C.André M.Peraldi-Frati
Talks about:substitut (1) framework (1) synchron (1) paradigm (1) behavior (1) control (1) toward (1) system (1) integr (1) formal (1)
Person: Jean-Paul Rigault
DBLP: Rigault:Jean=Paul
Contributed to:
2004
2002Wrote 2 papers:
- SEFM-2004-MoisanRR #behaviour #component #formal method #framework #towards
- Towards Formalizing Behavioral Substitutability in Component Frameworks (SM, AR, JPR), pp. 122–131.
- UML-2002-AndrePR #paradigm #uml
- Integrating the Synchronous Paradigm into UML: Application to Control-Dominated Systems (CA, MAPF, JPR), pp. 163–178.