-
for resilience, and engaging with key stakeholders across the European space and security ecosystem. Main research topics: EO-driven threat detection and situational awareness: develop innovative methods
-
throughout the early phases of missions, including participation in CDF and phase A/B1. The Team also provides expertise to other projects and studies, including research and development of tools and methods
Searches related to formal method
Enter an email to receive alerts for formal-method positions