|
11 |
Optimized scheduling in real-time environments with column generation Hoffmann, Sebastian. - Mainz : Universitätsbibliothek Mainz, 2014
|
|
|
12 |
Reconfiguration of legacy software artifacts in resource constraint embedded systems Baldin, Daniel. - Paderborn : Universitätsbibliothek, 2014
|
|
|
13 |
Trusted and Privacy-preserving Embedded Systems: Advances in Design, Analysis and Application of Lightweight Privacy-preserving Authentication and Physical Security Primitives Wachsmann, Christian. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
14 |
Contract Testing for Reliable Embedded Systems Schmidlin Fajardo Silva, Raul. - Heidelberg : Universitätsbibliothek Heidelberg, 2013
|
|
|
15 |
Semi-automatic optimization of hardware architectures in embedded systems Thaden, Eike Martin. - Oldenburg : BIS der Universität Oldenburg, 2013
|
|
|
16 |
Von separaten Interaktionsmustern zu konsistenten Spezifikationen reaktiver Systeme Harhurin, Alexander, 2010
|
|