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

Recherche par documents



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-01178726v1  Chapitre d'ouvrage
Ricardo S PuttiniJean-Marc PercherLudovic MéOlivier CampRafael De Sousa Jr et al.  A modular architecture for distributed IDS in MANET
Computational Science and Its Applications—ICCSA 2003, Springer Berlin Heidelberg, pp.91--113, 2003
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-01179140v1  Chapitre d'ouvrage
Slimane HammoudiHelaine SousaDenivaldo LopesZair AbdelouahabDaniela Barreiro Claro. Building Test Cases through Model Driven Engineering
to appears In Sobh, Tarek ; Elleithy, Khaled (Eds.) Springer Netherlands, 2010, 2010, 978-90-481-9111-6
hal-01566191v1  Chapitre d'ouvrage
Nicolas GutowskiTassadit AmgharOlivier CampSlimane Hammoudi. Mobility and prediction : an asset for crisis management
Elsevier ScienceDirect. How Information Systems Can Help in Alarm/Alert Detection, pp.33-51, In press, 9781785483028