 |
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)
Frederic Boniol 1, 2
Author
Philippe Dhaussy 3, 4
Author
Luka Le Roux 5
Author
Jean-Charles Roger 5
Author
2
ENSEEIHT - Ecole Nationale Supérieure d'Electrotechnique, d'Electronique, d'Informatique, d'Hydraulique et de Télécommunications (2 rue Charles Camichel. BP 7122 31071 Toulouse cedex 7 FR - France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
3
Lab-STICC_ENSTAB_CACS_MOCS (France)
- Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (UMR 3192) (Technopole Brest Iroise BP 832 29285 BREST CEDEX - France)
- UEB - Université européenne de Bretagne - European University of Brittany (5 boulevard Laënnec - 35000 Rennes - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR3192 (France)
4
Pôle STIC_IDM (France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
5
IDM (France)
- STIC - Pôle STIC [Brest] (2 rue François Verny 29806 Brest cedex 9 - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
Document type :
Book sections
Domain :
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
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
Collections
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⟩
Metrics
Record views