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

Items where Institution is :Other partners > GMV Aerospace and Defence S.A. (SPAIN)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
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.
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.