Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Projects
Import
Refine
Year of publication
2010
(1)
2011
(1)
2017
(1)
Keywords
Verification (3)
(remove)
3
search hits
1
to
3
Export
BibTeX
CSV
RIS
XML
20
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Formale Verifikation von Embedded Systems Software
(2010)
Reinbacher, Thomas
;
Horauer, Martin
Past Time LTL Runtime Verification for Microcontroller Binary Code
(2011)
Reinbacher, Thomas
;
Brauer, Jörg
;
Horauer, Martin
;
Steininger, Andreas
;
Kowalewski, Stefan
Adding Channel Security to a Fingerprint Verification Chain
(2017)
Wenzl, Matthias
;
Kluka, Daniel
1
to
3