6 : Vérification d'exigences d'un modèle SysML - Télécom Paris
Chapitre D'ouvrage Année : 2013

6 : Vérification d'exigences d'un modèle SysML

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

Domaines

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

TelecomParis HAL  : Connectez-vous pour contacter le contributeur

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

Soumis le : vendredi 13 septembre 2019-15:54:35

Dernière modification le : mercredi 23 octobre 2024-10:30:04

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02286565 , version 1

Citer

Ludovic Apvrille, Pierre de Saqui-Sannes. 6 : Vérification d'exigences d'un modèle SysML. Modélisation et analyse de systèmes embarqués, Lavoisier, Hermès Sciences, 2013. ⟨hal-02286565⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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

Partager

More