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.












