Starten Sie Ihre Suche...


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

Suche


12305 Treffer


× Publikationen
× Hochschule Worms
× Hochschule Mainz
× Hochschule Trier
× Universität Koblenz
× Universität Trier
× Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
× Theologische Fakultät Trier











  • 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)