Travelled to:1 × New Zealand
Collaborated with:B.Hamid C.Jouvray N.Desnos
Talks about:approach (1) pattern (1) formal (1) enforc (1) design (1) model (1) rces (1)
Person: Sigrid Gürgens
DBLP: G=uuml=rgens:Sigrid
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.












