Reihe Aachener Informatik Berichte Software Engineering

Modellbasierte Methode für die automatisierte Testfallerstellung in der Automobilindustrie auf der Grundlage eines durch