Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

Suche


264 Treffer


× Publikationen
× 2025











  • Sofronie-Stokkermans, Viorica; Peuter, Dennis; Marohn, Philipp
  • 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)