OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

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: 4.

Pace, Francesco and Paolini, Emanuele and Sanfedino, Francesco and Alazard, Daniel and Colagrossi, Andrea and Pesce, Vincenzo and Silvestrini, Stefano Chapter 12: "GNC Verification and validation". (2023) In: Modern Spacecraft Guidance, Navigation, and Control From System Modeling to AI and Innovative Applications. Elsevier, 647-684. ISBN 978-0-323-90916-7

Dragomir, Iulia and Redondo, Carlos and Jorge, Tiago and Gouveia, Laura and Ober, Iulian and Kolesnikov, Ivan and Bozga, Marius and Perrotin, Maxime Model-Checking of Space Systems Designed with TASTE/SDL. (2022) In: 14th System Analysis and Modelling Conference, 24 October 2022 - 25 October 2022 (Montreal, Canada).

Dragomir Iulia, Dragomir and Redondo, Carlos and Jorge, Tiago and Gouveia, Laura and Bozga, Marius and Ober, Iulian and Perrotin, Maxime Model-checking for TASTE designed space software systems: results and lessons learned. (2022) In: Model Based Space Systems and Software Engineering (MBSE2022), 22 November 2022 - 24 November 2022 (Toulouse, France). (Unpublished)

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 Sat Jul 20 15:18:55 2024 CEST.