Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Studienjahr
2017/2018
Refine
Year of publication
2010 (2)
(remove)
Language
German
(1)
English
(1)
Keywords
Embedded Systems
(2)
Automotive
(1)
Testing
(1)
Verification
(1)
2
search hits
1
to
2
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
System-Testumgebung für die verteilte Automobilelektronik
(2010)
Praprotnik, Oliver
;
Zauner, Martin
Formale Verifikation von Embedded Systems Software
(2010)
Reinbacher, Thomas
;
Horauer, Martin
1
to
2