Travelled to:
1 × New Zealand
Collaborated with:
B.Hamid S.Gürgens N.Desnos
Talks about:
approach (1) pattern (1) formal (1) enforc (1) design (1) model (1) rces (1)
Person: Christophe Jouvray
DBLP: Jouvray:Christophe
Contributed to:
Wrote 1 papers:
- MoDELS-2011-HamidGJD #design #formal method #modelling
- Enforcing S&D Pattern Design in RCES with Modeling and Formal Approaches (BH, SG, CJ, ND), pp. 319–333.