Vérifications d'exclusions mutuelles par analyse statique de modèles SysML - Télécom Paris Accéder directement au contenu
Article Dans Une Revue Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes Année : 2013

Vérifications d'exclusions mutuelles par analyse statique de modèles SysML

Ludovic Apvrille
System on Chip
Département Communications & Electronique
Pierre de Saqui-Sannes

Domaines

Modélisation et simulation Génie logiciel [cs.SE] Théorie et langage formel [cs.FL] Systèmes embarqués Ingénierie assistée par ordinateur Calcul formel [cs.SC] Langage de programmation [cs.PL] Electronique

TelecomParis HAL  : Connectez-vous pour contacter le contributeur

https://telecom-paris.hal.science/hal-02286741

Soumis le : vendredi 13 septembre 2019-16:08:00

Dernière modification le : lundi 9 octobre 2023-12:49:43

Fichier non déposé

Dates et versions

hal-02286741 , version 1 (13-09-2019)

Identifiants

  • HAL Id : hal-02286741 , version 1

Citer

Ludovic Apvrille, Pierre de Saqui-Sannes. Vérifications d'exclusions mutuelles par analyse statique de modèles SysML. Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.40-44. ⟨hal-02286741⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM PARISTECH TDS-MACS LTCI COMELEC LABSOC
28 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More