Cyber-physical Systems (Vorlesung) Wintersemester
Dr. Torsten Klie
Studon
Deutsch
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Vorlesung
universitäre Vorlesung
Kapitel 9: Evaluation und Validierung
- Qualitätskriterien
- Simulation
- Rapid Prototyping
- Formale Verifikaton
- System-Level Design
- Test