![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach:
Dokumententyp
| Veröffentlichungsdatum
Springe zu: Zeitschriftenartikel
Anzahl der Publikationen: 1
Zeitschriftenartikel
Beyer, Dirk 
ORCID: https://orcid.org/0000-0003-4832-7662 und Lemberger, Thomas ORCID: https://orcid.org/0000-0003-0291-815X
(2024):
Six years later: testing vs. model checking.
In: International Journal on Software Tools for Technology Transfer, Bd. 26, Nr. 6: S. 633-646
[PDF, 1MB]
ORCID: https://orcid.org/0000-0003-4832-7662 und Lemberger, Thomas ORCID: https://orcid.org/0000-0003-0291-815X
(2024):
Six years later: testing vs. model checking.
In: International Journal on Software Tools for Technology Transfer, Bd. 26, Nr. 6: S. 633-646
[PDF, 1MB]