Travelled to:1 × France
1 × Spain
1 × Vietnam
Collaborated with:G.Verdier G.Gößler N.Bertrand S.Pinchinat
Talks about:specif (2) modal (2) constraint (1) reachabl (1) quotient (1) contract (1) consist (1) design (1) compon (1) accept (1)
Person: Jean-Baptiste Raclet
DBLP: Raclet:Jean=Baptiste
Contributed to:
20152009
2009Wrote 3 papers:
- LATA-2015-VerdierR #constraints #reachability #specification
- Quotient of Acceptance Specifications Under Reachability Constraints (GV, JBR), pp. 299–311.
- LATA-2009-BertrandPR #consistency #refinement #specification
- Refinement and Consistency of Timed Modal Specifications (NB, SP, JBR), pp. 152–163.
- SEFM-2009-GoesslerR #component #contract #design
- Modal Contracts for Component-Based Design (GG, JBR), pp. 295–303.