|
Gwen Salaün Assistant professor (ENSIMAG, Grenoble INP) INRIA Chair - LIG laboratory Mail address: INRIA Grenoble - Rhône-Alpes / VASY 655, avenue de l'Europe F-38330 Montbonnot Saint-Martin France Email: Gwen.Salaun ´at´ inria.fr |
|
|
Publications
|
|
Research areas: formal methods, specification and
verification, composition and adaptation of components and services.
Events: AVYTAT'10, WS-FM'10, FOCLASA'10, WASELF'10, TAV-WEB'10, WCSI'10. |