Items where Person is "Alana, Elena"
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemDragomir, 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). |