![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 2
2024
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]
2025
Beyer, Dirk ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175; Kleinert, Tobias ORCID: https://orcid.org/0000-0003-3730-3745 und Richter, Cedric ORCID: https://orcid.org/0000-0003-2906-6508
(2025):
Construction of verifier combinations from off-the-shelf components.
In: Formal Methods in System Design, Bd. 66, Nr. 1: S. 99-130
[PDF, 1MB]
ORCID: https://orcid.org/0000-0003-4832-7662; Kanav, Sudeep ORCID: https://orcid.org/0000-0001-6078-4175; Kleinert, Tobias ORCID: https://orcid.org/0000-0003-3730-3745 und Richter, Cedric ORCID: https://orcid.org/0000-0003-2906-6508
(2025):
Construction of verifier combinations from off-the-shelf components.
In: Formal Methods in System Design, Bd. 66, Nr. 1: S. 99-130
[PDF, 1MB]