Items where Person is "Lasnier, Gilles"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 2.
Conference or Workshop ItemLasnier, Gilles and Pautet, Laurent and Hugues, Jérôme A Model-based transformation process to validate and implement high-integrity systems. (2011) In: 14th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing - ISORC 2011, 28-31 March 2011, Newport Beach, USA. Lasnier, Gilles and Pautet, Laurent and Hugues, Jérôme and Wrage, Lutz An implementation of the behavior annex in the AADL-toolset Osate2. (2011) In: Sixth IEEE International workshop UML and AADL - UML&AADL'2011, 27-29 April 2011, Las Vegas, USA. |