Title :
Table of contents
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;
Conference_Titel :
Industrial Embedded Systems (SIES), 2015 10th IEEE International Symposium on
Conference_Location :
Siegen
DOI :
10.1109/SIES.2015.7185030
