Sort by
Refine Your Search
-
for smart port infrastructure. Key tasks include: Developing a multi-layer modeling architecture using AADL and Modelica/FMI. Designing resilience metrics and assessment methods for cyber-physical energy
Searches related to software formal method phd
Enter an email to receive alerts for software-formal-method-phd positions