Skip to Main content Skip to Navigation
Book sections

Model-Based Analysis

Frederic Boniol 1, 2 Philippe Dhaussy 3, 4 Luka Le Roux 5 Jean-Charles Roger 5
3 Lab-STICC_ENSTAB_CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192)
4 Pôle STIC_IDM
ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne
5 IDM
STIC - Pôle STIC [Brest]
Document type :
Book sections
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00843139
Contributor : Annick Billon-Coat <>
Submitted on : Wednesday, July 10, 2013 - 3:43:13 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:28 PM

Identifiers

  • HAL Id : hal-00843139, version 1

Citation

Frederic Boniol, Philippe Dhaussy, Luka Le Roux, Jean-Charles Roger. Model-Based Analysis. Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013. ⟨hal-00843139⟩

Share

Metrics

Record views

493