Dr. Sven Linker // Universität Oldenburg https://uol.de/csd/persons/dr-sven-linker
Quesel, „Syspect – Modelling, Specifying, and Verifying Real-Time Systems with Rich
Dein Suchergebnis zum Thema: Z��rich
Prof. Dr. Ernst-Rüdiger Olderog (i.R.) // Universität Oldenburg https://uol.de/csd/persons/prof-dr-ernst-ruediger-olderog
Olderog, „Automatic Verification of Real-Time Systems with Rich Data — An Overview
Journale // Universität Oldenburg https://uol.de/ac-vandervlugt/publikationen/journals
Z., Cordes, D. B., van der Vlugt, J. I., & Kamer, P. C. J.
Publikationen // Universität Oldenburg https://uol.de/csd/pub
Olderog}, title = {Automatic Verification of Real-Time Systems with Rich Data
Carola Junghans // Universität Oldenburg https://uol.de/carola-junghans
Friedrich Jahresheft XXXX (S. 52–56). Hannover: Friedrich Verlag.