OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Seguin, Christel"

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 7.

Conference or Workshop Item

Chaudemar, Jean-Charles and Bensana, Eric and Seguin, Christel Model based system assessment: formalisation et évaluation de systèmes autonomes en Event-B. (2011) In: Model Based Safety Assessment Workshop, 15-16 Mar 2011, Toulouse, France .

Chaudemar, Jean-Charles and Bensana, Eric and Seguin, Christel Analyse de sécurité de systèmes autonomes: formalisation et évaluation en Event-B. (2010) In: AFADL 2010 - Approches Formelles dans l'Assistance au Développement de Logiciels, 09-11 Juin 2010, Poitiers, France .

Chaudemar, Jean-Charles and Bensana, Eric and Seguin, Christel Model based safety analysis for an Unmanned Aerial System. (2010) In: DRHE 2010 - Dependable Robots in Human Environments, 16-17 June 2010, Toulouse, France .

Adeline, Romain and Darfeuil, Pierre and Humbert, Sophie and Cardoso, Janette and Seguin, Christel Toward a methodology for the AltaRica modelling of multi-physical systems. (2010) In: European Conference on Safety and Reliability - ESREL 2010, 05-09 Sept 2010, Rhodes, Greece .

Adeline, Romain and Cardoso, Janette and Darfeuil, Pierre and Humbert, Sophie and Seguin, Christel Toward a validation process for model based safety analysis. (2010) In: ERTS² 2010 - Embedded Real Time Software and Systems, 19 May 2010 - 21 May 2010 (Toulouse, France).

Chaudemar, Jean-Charles and Bensana, Eric and Castel, Charles and Seguin, Christel AltaRica and event-B models for operational safety analysis: unmanned aerial vehicle case study. (2009) In: Workshop on Integration of Model-based Formal Methods and Tools , 15-19 Fev 2009, Düsseldorf, Germany .

Chaudemar, Jean-Charles and Castel, Charles and Seguin, Christel FDIR architectures for autonomous spacecraft: specification and assessment with event-B. (2008) In: Conference ABZ 2008 , 16-18 Sept 2008, London, United Kingdom .

This list was generated on Sun Apr 20 04:34:08 2014 CEST.