Global ETD Search

91	Verifying OCL specifications of UML models tool support and compositionakity Kyas, Marcel January 2006 (has links) Zugl.: Leiden, Univ., Diss., 2006
92	Optimization algorithms for dynamically reconfigurable embedded systems Ahmadinia, Ali January 2006 (has links) Zugl.: Erlangen, Nürnberg, Univ., Diss., 2006
93	Maintaining families of rigorous requirements for embedded software systems Bredereke, Jan January 2005 (has links) Zugl.: Bremen, Univ., Habil.-Schr., 2005
94	A formal framework for modelling component extension and layers in distributed embedded systems Förster, Stefan January 2006 (has links) Zugl.: Chemnitz, Techn. Univ., Diss., 2006
95	Ein zielsystemidentischer Ansatz für das domänenspezifische Rapid Prototyping in der Informations- und Elektrotechnik Kasper, Markus. Unknown Date (has links) (PDF) Techn. Universiẗat, Diss., 2005--Ilmenau.
96	Augmenting uClinux and RTAI with Memory Access Control for the BlackFin DSP Ulbricht, Michael. Baumgartl, Robert. January 2007 (has links) Chemnitz, Techn. Univ., Diplomarb., 2007.
97	Verteilungsplanung für Komponenten in Smart-item-Umgebungen / Anke, Jürgen. January 2008 (has links) Zugl.: Dresden, Techn. Universiẗat, Diss., 2008.
98	A formal framework for optimizing the design of distributed real-time embedded systems Sivanthi, Thanikesavan January 2008 (has links) Zugl.: Hamburg, Techn. Univ., Diss., 2008
99	Einsatz von Wissen über Zustandsverhalten für die wissensbasierte Konfigurierung technischer Systeme Kühn, Christian January 2007 (has links) Zugl.: Bremen, Univ., Diss., 2007
100	Universelle Fernservice-Infrastruktur für eingebettete Systeme Jazdi, Nasser. January 2003 (has links) (PDF) Universiẗat, Diss., 2003--Stuttgart.

Search results