par Hermanns, Holger; Larsen, Kim Guldstrand; Raskin, Jean-François Liste de publications; Tretyakov, Jan
Référence ACM Annual Computer Science Conference, (page 301-302)
Publication Publié, 2011
Article révisé par les pairs
Titre :
  • Quantitative System Validation in Model Driven Design
Auteur : Hermanns, Holger ; Larsen, Kim Guldstrand ; Raskin, Jean-François ; Tretyakov, Jan
Informations sur la publication : ACM Annual Computer Science Conference, (page 301-302)
Statut de publication : Publié, 2011
Sujet CREF : Sciences exactes et naturelles
Langue :
Identificateurs : urn:issn:1041-4517