Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Open Access
Introduction to Runtime Verification
Lectures on Runtime Verification, 2018, Vol.10457, p.1-33
2018
Volltextzugriff (PDF)

Journal of physics. D, Applied physics, 2018-09, Vol.51 (38), p.384002
2018
Volltextzugriff (PDF)


Lectures on Runtime Verification, 2018, Vol.10457, p.176-210
2018
Volltextzugriff (PDF)

Monitoring Events that Carry Data
Lectures on Runtime Verification, 2018, Vol.10457, p.61-102
2018
Volltextzugriff (PDF)


Lectures on Runtime Verification, 2018, Vol.10457, p.103-134
2018
Volltextzugriff (PDF)





Discovering Concurrency Errors
Lectures on Runtime Verification, 2018, Vol.10457, p.34-60
2018
Volltextzugriff (PDF)

Acta neurologica Belgica, 2016-09, Vol.116 (3), p.359-362
2016
Volltextzugriff (PDF)











Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n