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]
Vorschau
| Dokumententyp: | Zeitschriftenartikel |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| URN: | urn:nbn:de:bvb:19-epub-129058-9 |
| ISSN: | 0925-9856 |
| Sprache: | Englisch |
| Dokumenten ID: | 129058 |
| Datum der Veröffentlichung auf Open Access LMU: | 28. Okt. 2025 13:20 |
| Letzte Änderungen: | 28. Okt. 2025 13:20 |
| DFG: | Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) - 378803395 |
| DFG: | Gefördert durch die Deutsche Forschungsgemeinschaft (DFG) - 418257054 |
- Dokument bearbeiten
