|
11 |
Konzept und Umsetzung einer modularen, portierbaren Middleware für den automatisierten Test eingebetteter Systeme Trenkel, Kristian. - Chemnitz : Universitätsbibliothek Chemnitz, 2016
|
|
|
12 |
Konzept und Umsetzung einer modularen, portierbaren Middleware für den automatisierten Test eingebetteter Systeme Trenkel, Kristian. - Chemnitz : Universitätsverlag Chemnitz, 2016, [1. Aufl.]
|
|
|
13 |
Link mining and localisation in the context of face-to-face contact networks Scholz, Christoph. - Kassel : Kassel University Press, [2016]
|
|
|
14 |
Link Mining and Localisation in the Context of Face-to-Face Contact Networks Scholz, Christoph. - Kassel : Kassel University Press, 2016
|
|
|
15 |
Automated techniques for functional verification at the electronic system level Le, Hoang M., 2015
|
|
|
16 |
Clock Refinement in Imperative Synchronous Languages Gemünde, Mike. - Kaiserslautern : Technische Universität Kaiserslautern, 2014
|
|
|
17 |
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (Eingebetteten) Systemen Patzina, Sven. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2014
|
|
|
18 |
Entwicklung einer Spezifikationssprache zur modellbasierten Generierung von Security-/Safety-Monitoren zur Absicherung von (eingebetteten) Systemen Patzina, Sven, 2014
|
|
|
19 |
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
|
|
|
20 |
Fast and accurate performance simulation of out-of-order processing cores in embedded systems Plyaskin, Roman, 2014
|
|