Spelling suggestions: "subject:"spezifikationen"" "subject:"kommunikationstechnik""
1 |
Composition of hierarchic default specificationsAlves Campos de Sousa Dionísio, Francisco Miguel. January 1997 (has links) (PDF)
Hannover, University, Diss., 1997.
|
2 |
Eine formale algorithmische Synthese digitaler SchaltungenKapp, Kai. January 2005 (has links) (PDF)
Universiẗat, Diss., 2005 u.d.T.: Knapp, Kai: Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen--Karlsruhe.
|
3 |
Requirements engineering für GIS-Applikationen /Kösters, Georg. January 1997 (has links)
Zugl.: Hagen, FernUniversiẗat, Diss., 1997.
|
4 |
Platform-independent modeling of synthesizable software systems using UML 2Schattkowsky, Tim January 2008 (has links)
Zugl.: Paderborn, Univ., Diss., 2008
|
5 |
Qualitätsprüfung im Anfrageoptimierungsprozess relationaler DatenbanksystemeArendt, Volker January 2003 (has links)
Zugl.: Wuppertal, Univ., Diss., 2003
|
6 |
Spezifikation und Anwendung einer Modellierungssprache für die Automatisierungstechnik auf Basis der Unified Modeling Language (UML)Katzke, Uwe January 2008 (has links)
Zugl.: Kassel, Univ., Diss., 2008
|
7 |
System-level modeling and design with the SpecC languageDömer, Rainer. Unknown Date (has links)
University, Diss., 2000--Dortmund. / Dateiformat: PDF.
|
8 |
Executable HybridUML semantics : a transformation definitionBisanz, Stefan January 2005 (has links) (PDF)
Bremen, Univ., Diss., 2005
|
9 |
Modellgetriebene Entwicklung managementfähiger AnwendungssystemeMehl, Oliver January 2006 (has links)
Zugl.: Karlsruhe, Univ., Diss., 2006
|
10 |
Applications of property based synthesis in formal verificationSchickel, Martin January 2009 (has links)
Zugl.: Darmstadt, Techn. Univ., Diss., 2009
|
Page generated in 0.0986 seconds