Eintrag weiter verarbeiten
Design of a test generation methodology for ARTIS using model-checking with a generic modelling approach
Gespeichert in:
| Personen und Körperschaften: | |
|---|---|
| Titel: | Design of a test generation methodology for ARTIS using model-checking with a generic modelling approach/ Ganesh Kamalakar Vernekar |
| Hochschulschriftenvermerk: | Masterarbeit, Technische Universität Chemnitz, 2015 |
| Format: | E-Book Hochschulschrift |
| Sprache: | Englisch |
| veröffentlicht: |
Chemnitz
2015
|
| Schlagwörter: | |
| Quelle: | Verbunddaten SWB Lizenzfreie Online-Ressourcen |