On the Verification of Parametric Systems
Martin Fränzle; Jürgen Niehaus; Bernd Westphal (Hrsg). Engineering Safe and Trustworthy Cyber Physical Systems : Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday. Cham: Springer Nature Switzerland 2026 S. 201 - 221
Erscheinungsjahr: 2026
Publikationstyp: Buchbeitrag
Sprache: Englisch
Doi/URN: 10.1007/978-3-031-97537-0_12
| Geprüft: | Bibliothek |
