DocumentCode
734275
Title
Table of contents
fYear
2015
fDate
8-10 June 2015
Firstpage
1
Lastpage
3
Abstract
The following topics are dealt with: networked embedded systems; resource management; formal methods; operating systems.
Keywords
formal verification; operating systems (computers); resource allocation; formal methods; networked embedded systems; operating system; resource management;
fLanguage
English
Publisher
ieee
Conference_Titel
Industrial Embedded Systems (SIES), 2015 10th IEEE International Symposium on
Conference_Location
Siegen
Type
conf
DOI
10.1109/SIES.2015.7185030
Filename
7185030
Link To Document