Contribution to model verification: operational semantic for System Engineering modeling languages - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Communication Dans Un Congrès Année : 2014

Contribution to model verification: operational semantic for System Engineering modeling languages

Blazo Nastov
Laboratoire de Génie Informatique et Ingénierie de Production

Domaines

Modélisation et simulation Génie logiciel [cs.SE]

Blazo Nastov  : Connectez-vous pour contacter le contributeur

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01377604

Soumis le : vendredi 7 octobre 2016-11:33:01

Dernière modification le : mardi 17 septembre 2024-16:03:06

Fichier non déposé

Dates et versions

lirmm-01377604 , version 1 (07-10-2016)

Identifiants

  • HAL Id : lirmm-01377604 , version 1

Citer

Blazo Nastov. Contribution to model verification: operational semantic for System Engineering modeling languages. CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.88-90. ⟨lirmm-01377604⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EM-ALES LIRMM TDS-MACS INSTITUT-MINES-TELECOM
53 Consultations
0 Téléchargements

Partager

More