OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > GMVIS Skysoft SA (PORTUGAL)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 2.

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).

Muñoz Arancón, M. and Montano, G. and Wirkus, M. and Hoeflinger, K. and Silveira, D. and Tsiogkas, N. and Hugues, Jérôme and Bruyninckx, H. and Dragomir, Iulia and Muhammad, A. ESROCOS: a robotic operating system for space and terrestrial applications. (2017) In: 14th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA 2017), 20 June 2017 - 21 June 2017 (Scheltema, Netherlands).

This list was generated on Thu May 26 17:53:46 2022 CEST.