Original language | German |
---|---|
Publication status | Published - 1999 |
Entwicklung und Anwendung eines neuen Umgebungssimulationssystems für den Test und die Verifikation reaktiver Softwarekomponenten
Christian Kreiner
Research output: Thesis › Doctoral Thesis