On the Verification of Parametric Systems
Fränzle, M.; Niehaus, J.; Westphal, B. (Hrsg). Engineering Safe and Trustworthy Cyber Physical Systems. Cham: Springer 2025 S. 201 - 221 (Lecture Notes in Computer Science, vol. 15471)
Erscheinungsjahr: 2025
ISBN/ISSN: 978-3-031-97536-3
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/978-3-031-97537-0
| Geprüft: | Bibliothek |
Klassifikation
DFG Fachgebiet:
4.43 - Informatik
DDC Sachgruppe:
Informatik
