Travelled to:
1 × Japan
Collaborated with:
D.Chemouil
Talks about:
topcas (1) method (1) formal (1) driven (1) combin (1) model (1) engin (1)
Person: Nadège Pontisso
DBLP: Pontisso:Nad=egrave=ge
Contributed to:
Wrote 1 papers:
- ASE-2006-PontissoC #automation #formal method #modelling
- TOPCASED Combining Formal Methods with Model-Driven Engineering (NP, DC), pp. 359–360.