Travelled to:1 × New Zealand
1 × USA
Collaborated with:B.Hamid S.Gürgens C.Jouvray M.Huchard C.Urtado S.Vauttier G.Tremblay
Talks about:unanticip (1) substitut (1) approach (1) pattern (1) flexibl (1) formal (1) enforc (1) design (1) compon (1) model (1)
Person: Nicolas Desnos
DBLP: Desnos:Nicolas
Contributed to:
2011
2007Wrote 2 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.
- CBSE-2007-DesnosHUVT #automation #component #flexibility
- Automated and Unanticipated Flexible Component Substitution (ND, MH, CU, SV, GT), pp. 33–48.