OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Castel, Charles"

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

Conference or Workshop Item

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 .

Chaudemar, Jean-Charles and Castel, Charles and Gabard, Jean-François and Tessier, Catherine Z and ProCoSA based specification of a distributed FDIR in a satellite formation. (2007) In: CAR'07 : Second national workshop on Control Architectures of Robots, 31 May - 01 June 2007, Paris, France .

This list was generated on Thu Nov 27 13:05:24 2014 CET.