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 : vendredi 24 mars 2023-14:53:24

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 TEI Dublin Core DC Terms EndNote Datacite

Collections

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

82 Consultations

0 Téléchargements