6 : Vérification d'exigences d'un modèle SysML - Archive ouverte HAL Access content directly
Book Sections Year : 2013

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

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

Domains

Computer Science [cs] Software Engineering [cs.SE] Computer Science [cs] Formal Languages and Automata Theory [cs.FL] Computer Science [cs] Embedded Systems Computer Science [cs] Computer Aided Engineering Computer Science [cs] Modeling and Simulation Computer Science [cs] Symbolic Computation [cs.SC] Computer Science [cs] Programming Languages [cs.PL] Engineering Sciences [physics] Electronics

TelecomParis HAL  : Connect in order to contact the contributor

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

Submitted on : Friday, September 13, 2019-3:54:35 PM

Last modification on : Tuesday, February 28, 2023-3:36:25 PM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-02286565 , version 1

Cite

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

INSTITUT-TELECOM PARISTECH TDS-MACS LTCI COMELEC LABSOC
33 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More