Sort by
Refine Your Search
-
PNRR, in particular in the field of model-based systems engineering (MBSE) and the development of a model-based digital twin facilitating a fast and rigorous requirements verification process within
-
mechanics, celestial mechanics, mission design, and guidance and control systems; further develop open-source software developed by the ACT, for example, pygmo (optimisation), pykep (astrodynamics), dCGP
-
, spacecraft system and mission design, and analysis, as well as a valuable data source for studies and other research domains. This research aims to develop a lightweight software system, written in Python and
Searches related to software verification
Enter an email to receive alerts for software-verification positions