OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Requirements Analysis

Apvrille, Ludovic and Saqui-Sannes, Pierre de Requirements Analysis. (2013) In: Embedded Systems: Analysis and Modeling with SysML, UML and AADL. (Electronic Engineering Series). ISTE / Wiley. ISBN 978-1-84821-500-9

[img] (Document in English)

PDF ( Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


The chapter addresses formal verification of the SysML model of the pacemaker that serves as running example throughout the book.

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 > Institut Eurécom (FRANCE)
Other partners > Télécom Paris (FRANCE)
Laboratory name:
Deposited On:22 Jul 2013 09:37

Repository Staff Only: item control page