|
31 |
Clock refinement in imperative synchronous languages
Gemünde, Mike, 2013
|
|
|
32 |
Contract Testing for Reliable Embedded Systems
Schmidlin Fajardo Silva, Raul. - Heidelberg : Universitätsbibliothek Heidelberg, 2013
|
|
|
|
33 |
Contract testing for reliable embedded systems
Schmidlin Fajardo Silva, Raul, 2013
|
|
|
|
34 |
Semi-automatic optimization of hardware architectures in embedded systems
Thaden, Eike Martin, 2013
|
|
|
|
35 |
Semi-automatic optimization of hardware architectures in embedded systems
Thaden, Eike Martin. - Oldenburg : BIS der Universität Oldenburg, 2013
|
|
|
|
36 |
Trusted and privacy-preserving embedded systems advances in design, analysis and application of lightweight privacy-preserving authentication and physical security primitives
Wachsmann, Christian, 2013
|
|
|
|
37 |
Vorgehensmodelle für die technische Dokumentation eingebetteter Systeme
Kapturek, Beate, 2013
|
|
|
|
38 |
Development, evaluation and practical application of bio-inspired algorithms
Becker, Matthias, 2012
|
|
|
|
39 |
Heterogeneity in distributed embedded systems
Baumgartner, Tobias. - Göttingen : Cuvillier, 2012, 1. Aufl.
|
|
|
|
40 |
Computing architectures for security applications on reconfigurable hardware in embedded systems
Klimm, Alexander. - [Jockgrim] : NewArtmagic Production, 2011, 1. Aufl.
|
|
Administration
