Global ETD Search

11	Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätzen auf Basis höherer Petri-Netze Fengler, Olga. January 2004 (has links) (PDF) Ilmenau, Techn. Universiẗat, Diss., 2004. Eingebettetes System
12	Optimierte automatische Statechart-Implementierungen im Software- und Hardware-Entwurf eingebetteter Systeme Ackad, Jean-Claude. January 2000 (has links) (PDF) Braunschweig, Techn. Universiẗat, Diss., 2000. Eingebettetes System
13	Komponentenbasierte Softwareentwicklung für sicherheitskritische eingebettete Systeme Gunzert, Michael. January 2003 (has links) (PDF) Zugl.: Stuttgart, Universiẗat, Diss., 2002. Eingebettetes System
14	Modellierung und effiziente Implementierung eingebetteter Realzeitsysteme Orehek, Martin. January 2003 (has links) (PDF) München, Techn. Universiẗat, Diss., 2003. Eingebettetes System
15	JIFFY - ein FPGA-basierter Java Just-in-time-Compiler für eingebettete Anwendungen Acher, Georg. January 2003 (has links) (PDF) München, Techn. Universiẗat, Diss., 2003. Eingebettetes System
16	Composition and construction of embedded software families Beuche, Danilo. January 1900 (has links) (PDF) Magdeburg, University, Diss., 2003. / Erscheinungsjahr an der Haupttitelstelle: 2003. Eingebettetes System
17	Simulationsgestützte Verfahren für den Top-Down-Entwurf heterogener Systeme Lüdecke, André. January 2004 (has links) (PDF) Duisburg, Essen, Universiẗat, Diss., 2003. Eingebettetes System
18	OOCOSIM an object-oriented co-design method for embedded HW-SW systems / Oppenheimer, Frank. January 2005 (has links) (PDF) Oldenburg, University, Diss., 2005. Eingebettetes System
19	Aspektorientierung und Programmfamilien im Betriebssystembau Spinczyk, Olaf. January 2002 (has links) (PDF) Magdeburg, Universiẗat, Diss., 2002. Eingebettetes System
20	A compositional approach to embedded system design Ziegenbein, Dirk. January 2003 (has links) (PDF) Braunschweig, Techn. University, Diss., 2002. Eingebettetes System

Search results