OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Alana, Elena"

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

Conference or Workshop Item

Dragomir, Iulia and Bozga, Marius and Ober, Iulian and Silveira, Daniel and Jorge, Tiago and Alana, Elena and Perrotin, Maxime. Formal verification of space systems designed with TASTE. (2021) In: ESA’s Second Virtual Workshop on Model Based Space Systems and Software Engineering (MBSE2021), 29 September 2021 - 30 September 2021 (Nordwijk, Netherlands).

This list was generated on Thu Dec 2 09:57:47 2021 CET.