Accéder directement au contenu Accéder directement à la navigation


hal-00862485v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Modélisation de l'étude de cas avec MARTE
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.161-178, 2013, SEE, 978-2-7462-3900-5
...
hal-00828334v1  Chapitre d'ouvrage
Duc-Manh NguyenFrédéric DambrevilleAbdelmalk ToumiJean-Christophe CexusAli Khenchaf. A Column Generation Based Label Correcting Approach for the Sensor Management in an Information Collection Process
Nguyen, Ngoc Thanh and Do, Tien and Thi, Hoai An. Advanced Computational Methods for Knowledge Engineering, Springer International Publishing, pp.77-89, 2013, Studies in Computational Intelligence, ⟨10.1007/978-3-319-00293-4_7⟩
hal-00862488v1  Chapitre d'ouvrage
Frédéric BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-00821955v1  Chapitre d'ouvrage
Jérôme DelatourJoël Champeau. Case Study Modeling Using MARTE
Embedded Systems. Analysis and Modeling with SysML, UML and AADL, Wiley, pp.139-156, 2013
hal-00843139v1  Chapitre d'ouvrage
Frederic BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013