Folgen
Stefan Oswald
Stefan Oswald
CISPA Helmholtz Center for Information Security
Bestätigte E-Mail-Adresse bei cispa.saarland - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Verified rust monitors for lola specifications
B Finkbeiner, S Oswald, N Passing, M Schwenger
International Conference on Runtime Verification, 431-450, 2020
202020
Verifiable Runtime Monitor Generation for Lola Specifications
S Oswald
SAARLAND UNIVERSITY, 2020
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–2