|
81 |
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
|
|
|
82 |
Virtual integration
Schorer, Michael, 2014
|
|
|
|
83 |
23. SIT-SmartCard-Workshop
SmartCard Workshop (23 : 2013 : Darmstadt). - Stuttgart : Fraunhofer-Verl., 2013
|
|
|
|
84 |
An automated semantic-based approach for creating task structures
Büker, Matthias, 2013
|
|
|
|
85 |
Clock refinement in imperative synchronous languages
Gemünde, Mike, 2013
|
|
|
|
86 |
Contract Testing for Reliable Embedded Systems
Schmidlin Fajardo Silva, Raul. - Heidelberg : Universitätsbibliothek Heidelberg, 2013
|
|
|
|
87 |
Contract testing for reliable embedded systems
Schmidlin Fajardo Silva, Raul, 2013
|
|
|
|
88 |
Entwurf und Synthese von Eingebetteten Systemen
Lange, Walter. - Berlin/Boston : De Gruyter, 2013
|
|
|
|
89 |
Entwurf und Synthese von eingebetteten Systhemen [Systemen]
Lange, Walter. - München : Oldenbourg, 2013
|
|
|
|
90 |
Radio Frequency Identification
Berlin, Heidelberg : Springer Berlin Heidelberg, 2013, Aufl. 2013
|
|
Administration
