OATAO - Open Archive Toulouse Archive Ouverte Open Access Week
Login | Create Account

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
Jump to: Conference or Workshop Item
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 Mon May 23 01:30:17 2022 CEST.
oatao is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.