Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Research Focus
Embedded Systems & Cyber-Physical Systems
Refine
Year of publication
2018
(2)
2019
(2)
2010
(1)
2011
(1)
2017
(1)
Document Type
Conference Proceeding
(5)
Article
(1)
Lecture
(1)
Keywords
Verification (7)
(remove)
7
search hits
1
to
7
Export
BibTeX
CSV
RIS
XML
50
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Survey and Comparison of Digital Logic Simulators
(2019)
Rössler, Peter
;
Höller, Roland
;
Reisner, Christopher
;
Maischberger, Oliver
FIJI – Fault InJection Instrumenter
(2019)
Fibich, Christian
;
Tauner, Stefan
;
Rössler, Peter
;
Horauer, Martin
;
Matschnig, Martin
;
Taucher, Herbert
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
Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication
(2018)
Kramer, Michael
;
Gerstmayer, Florian
;
Hausladen, Jürgen
Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication
(2018)
Kramer, Michael
;
Gerstmayer, Florian
;
Hausladen, Jürgen
Adding Channel Security to a Fingerprint Verification Chain
(2017)
Wenzl, Matthias
;
Kluka, Daniel
1
to
7