OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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

Apvrille, Ludovic and Saqui-Sannes, Pierre de Vérification d'exigences d'un modèle SysML. (2013) In: Modélisation et analyse de systèmes embarqués. (Collection SEE). Hermès Science Lavoisier, Paris, France, 113-131. ISBN 978-2-7462-3900-5

[img]
Preview
(Document in French)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
776kB

Abstract

Vérification formelle du modèle SysML du pacemaker qui sert d'étude de cas au long de l'ouvrage.

Item Type:Book Section
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
Other partners > Telecom ParisTech (FRANCE)
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes
Deposited On:21 Jan 2014 10:39

Repository Staff Only: item control page