Validating temporal properties of a deployed application with an MDA approach  - Centre of Innovation in Telecommunications and Integration of services Accéder directement au contenu
Communication Dans Un Congrès Année : 2005
Fichier non déposé

Dates et versions

hal-00405098 , version 1 (17-07-2009)

Identifiants

  • HAL Id : hal-00405098 , version 1

Citer

Jean-Louis Houberdon, Jean-Philippe Babau, Isabelle Augé-Blum, Pierre Combes. Validating temporal properties of a deployed application with an MDA approach . International Workshop in Modeling and Analysis of Real-Time and Embedded Systems (MARTES) in conjuction with ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Oct 2005, Montego Bay, Jamaica. pp.1-10. ⟨hal-00405098⟩
110 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More