Rigorous State-Based Methods Rigorous State-Based Methods
2025
Safety Assurance under Uncertainties Safety Assurance under Uncertainties
2025
Engineering of Complex Computer Systems Engineering of Complex Computer Systems
2024
Trustworthy Cyber-Physical Systems Engineering Trustworthy Cyber-Physical Systems Engineering
2016