Fuyuki Ishikawa

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