Sort by
Refine Your Search
-
and cyber-physical software; Runtime verification of cyber-physical and autonomous systems; Target applications may include autonomous systems, collision avoidance, mission and plan monitoring
-
members of the team to increase their involvement in the developments related to the new Elettra 2.0 machine. The activity carried out covers aspects of hardware and software, such as the selection and
Enter an email to receive alerts for software-verification "https:" positions