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]
![[thumbnail of s10009-024-00769-8.pdf]](https://epub.ub.uni-muenchen.de/style/images/fileicons/application_pdf.png "s10009-024-00769-8.pdf")
Creative Commons: Namensnennung 4.0 (CC-BY)
| Dokumententyp: | Zeitschriftenartikel |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| URN: | urn:nbn:de:bvb:19-epub-128107-9 |
| ISSN: | 1433-2779 |
| Sprache: | Englisch |
| Dokumenten ID: | 128107 |
| Datum der Veröffentlichung auf Open Access LMU: | 11. Aug. 2025 09:29 |
| Letzte Änderungen: | 11. Aug. 2025 09:29 |
| DFG: | Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) - 418257054 |
- Dokument bearbeiten
