Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Research Focus
Embedded Systems & Cyber-Physical Systems
Refine
Year of publication
2011
(1)
2014
(1)
Language
German
(1)
English
(1)
Keywords
Binary Code (2)
(remove)
2
search hits
1
to
2
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Model Checking Embedded Software of an Industrial Knitting Machine
(2011)
Reinbacher, Thomas
;
Horauer, Martin
;
Schlich, Bastian
;
Brauer, Jörg
;
Scheuer, Florian
Runtime verification of microcontroller binary code
(2014)
Reinbacher, Thomas
;
Brauer, Jörg
;
Horauer, Martin
;
Steininger, Andreas
;
Kowalewski, Stefan
1
to
2