|
61 |
24. SIT-SmartCard-Workshop
SmartCard Workshop (24 : 2014 : Darmstadt). - Stuttgart : Fraunhofer-Verl., 2014
|
|
|
62 |
Clock Refinement in Imperative Synchronous Languages
Gemünde, Mike. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
|
63 |
Collaborative design for embedded systems
Heidelberg : Springer, 2014
|
|
|
|
64 |
Collaborative Design for Embedded Systems
Berlin, Heidelberg : Springer Berlin Heidelberg, 2014, Aufl. 2014
|
|
|
|
65 |
Embedded and real time system development
Heidelberg : Springer, 2014
|
|
|
|
66 |
Embedded and Real Time System Development: A Software Engineering Perspective
Berlin, Heidelberg : Springer Berlin Heidelberg, 2014, Aufl. 2014
|
|
|
|
67 |
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen
Patzina, Sven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
|
68 |
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (eingebetteten) Systemen
Patzina, Sven, 2014
|
|
|
|
69 |
Fast and accurate performance simulation of out-of-order processing cores in embedded systems
Plyaskin, Roman. - München : Universitätsbibliothek der TU München, 2014
|
|
|
|
70 |
Fast and accurate performance simulation of out-of-order processing cores in embedded systems
Plyaskin, Roman, 2014
|
|
Administration
