Simulation-Based Automated Validation Frameworks for Safety-Critical Transportation Systems
Fields of Study & Subjects
Safety Systems Engineering in Autonomy
Formal Methods in Verification
Software Testing and Debugging Techniques
Publication details
- Publication date
- 1 January 2026
- Language
- EN