Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles

Abstract

no abstract
No file

Dates and versions

hal-00953401 , version 1 (28-02-2014)

Identifiers

  • HAL Id : hal-00953401 , version 1

Cite

Mohamed-Amine Labiadh, Akram Idani, Yves Ledru. Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles. Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, 2010, Poitiers, pp.197-212. ⟨hal-00953401⟩
130 View
0 Download

Share

Gmail Facebook X LinkedIn More