|
341 |
On Formalizing UML and OCL Features and Their Employment to Runtime Verification Hamann, Lars. - Bremen : Staats- und Universitätsbibliothek Bremen, 2015
|
|
|
342 |
On Privacy-Preserving Protocols for Smart Metering Systems Borges de Oliveira, Fábio. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
343 |
On privacy-preserving protocols for smart metering systems Borges de Oliveira, Fábio, 2015
|
|
|
344 |
On the utility of higher order fault models for fault injections Winter, Stefan, 2015
|
|
|
345 |
On the Utility of Higher Order Fault Models for Fault Injections Winter, Stefan. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2015
|
|
|
346 |
Platzierung von Softwarekomponenten auf Mehrkernprozessoren Hilbrich, Robert. - Wiesbaden : Springer Vieweg, 2015
|
|
|
347 |
Qualitätssicherung von Modelltransformationen Wieber, Martin Simon, 2015
|
|
|
348 |
Reconfigurable architectures and design automation tools for application-level network security Mühlbach, Sascha. - Berlin : Logos-Verl., 2015
|
|
|
349 |
Resource-conscious network security for the IP-based internet of things Hummen, René. - Aachen : Shaker, 2015
|
|
|
350 |
Resource-Conscious Network Security for the IP-Based Internet of Things Hummen, René. - Aachen : Shaker, 2015, 1. Aufl.
|
|