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, Vol. 26, No. 6: pp. 633-646
[PDF, 1MB]
Preview
| Item Type: | Journal article |
|---|---|
| Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
| Subjects: | 000 Computer science, information and general works > 004 Data processing computer science |
| URN: | urn:nbn:de:bvb:19-epub-128107-9 |
| ISSN: | 1433-2779 |
| Language: | English |
| Item ID: | 128107 |
| Date Deposited: | 11. Aug 2025 09:29 |
| Last Modified: | 11. Aug 2025 09:29 |
| DFG: | Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) - 418257054 |
Actions (login required)
- View Item
