|
81 |
Optimized scheduling in real-time environments with column generation Hoffmann, Sebastian. - Mainz : Universitätsbibliothek Mainz, 2014
|
|
|
82 |
Reconfiguration of legacy software artifacts in resource constraint embedded systems Baldin, Daniel. - Paderborn : Universitätsbibliothek, 2014
|
|
|
83 |
Reconfiguration of legacy software artifacts in resource constraint embedded systems Baldin, Daniel, 2014
|
|
|
84 |
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
|
|
|
85 |
Virtual integration Schorer, Michael, 2014
|
|
|
86 |
23. SIT-SmartCard-Workshop SmartCard Workshop (23 : 2013 : Darmstadt). - Stuttgart : Fraunhofer-Verl., 2013
|
|
|
87 |
An automated semantic-based approach for creating task structures Büker, Matthias, 2013
|
|
|
88 |
Clock refinement in imperative synchronous languages Gemünde, Mike, 2013
|
|
|
89 |
Contract Testing for Reliable Embedded Systems Schmidlin Fajardo Silva, Raul. - Heidelberg : Universitätsbibliothek Heidelberg, 2013
|
|
|
90 |
Contract testing for reliable embedded systems Schmidlin Fajardo Silva, Raul, 2013
|
|