Cyber-physical Systems (Vorlesung), Wintersemester
Dr. Torsten Klie
Studon
Deutsch
Friedrich-Alexander-Universität Erlangen-Nürnberg
Vorlesung
universitäre Vorlesung
Kapitel 9: Evaluation und Validierung
- Begriffe
- Performanz (WCET/WCRT)
- Qualitätskriterien
- Simulation
- Rapid Prototyping
- Formale Verifikaton
- System-Level Design