Unified verification and monitoring of executable UML specifications. A transformation-free approach

Théorie et langage formel [cs.FL] Architectures Matérielles [cs.AR] Systèmes embarqués Modélisation et simulation Technologies Émergeantes [cs.ET] Langage de programmation [cs.PL] Calcul formel [cs.SC] Génie logiciel [cs.SE]

Ciprian Teodorov : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03463358

Soumis le : jeudi 2 décembre 2021-13:36:58

Dernière modification le : mardi 27 août 2024-12:53:40

Dates et versions

hal-03463358 , version 1 (02-12-2021)

Identifiants

HAL Id : hal-03463358 , version 1
DOI : 10.1007/s10270-021-00923-9

Citer

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. Unified verification and monitoring of executable UML specifications. A transformation-free approach. Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00923-9⟩. ⟨hal-03463358⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-BREST ENSTA-BRETAGNE CNRS ENSTA-BRETAGNE-STIC LAB-STICC_UBO ENIB LAB-STICC ESEO-TECH TDS-MACS ESEO-ERIS LAB-STICC_P4S LAB-STICC_SHARP

146 Consultations

0 Téléchargements