Number of items at this level: 1.
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 Wed May 25 03:16:35 2022 CEST.