- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 11 to 20 of 32 (0.111 seconds)Spelling suggestions: "subject:"spezifikationen"" "subject:"kommunikationstechnik""
| 11 |
Formale Beschreibung der Testspezifikation und Testerarchitektur zur Verbesserung der Testentwicklung für gemischt analog-digitale integrierte Schaltungen /Deng, Baolin. January 2005 (has links)
Zugl.: Erlangen, Nürnberg, University, Diss., 2005.
|
| 12 |
Ein Vorgehensmodell zur operativen Erstellung von MetadatenRöser, Marc January 2007 (has links)
Zugl.: Karlsruhe, Univ., Diss., 2007
|
| 13 |
Functional web site specificationGipp, Torsten January 2006 (has links)
Zugl.: Koblenz, Landau (Pfalz), Univ., Diss., 2006
|
| 14 |
Specification and verification of object oriented software componentsRoth, Andreas. January 2006 (has links)
University, Diss., 2006--Karlsruhe.
|
| 15 |
The theory and practice of runtime reflection a model-based framework for dynamic analysis of distributed reactive systemsBauer, Andreas January 2007 (has links)
Zugl.: München, Techn. Univ., Diss., 2007 u.d.T.: Bauer, Andreas Klaus: Model-based runtime analysis of distributed reactive systems / Hergestellt on demand
|
| 16 |
High-Level-Entwurf von MikrosystemenMarkert, Erik January 2010 (has links)
Zugl.: Chemnitz, Techn. Univ., Diss., 2010
|
| 17 |
Integration of graph transformation and temporal logic for the specification of distributed systemsKoch, Manuel. Unknown Date (has links)
Techn. University, Diss., 1999--Berlin.
|
| 18 |
Model checking abstract state machinesWinter, Kirsten. Unknown Date (has links) (PDF)
Techn. University, Diss., 2001--Berlin.
|
| 19 |
A methodology for workflow modeling from business process modeling towards sound workflow specification /Dehnert, Juliane. Unknown Date (has links) (PDF)
Techn. University, Diss., 2003--Berlin.
|
| 20 |
An integrated approach to testing complex systemsNiese, Oliver. Unknown Date (has links) (PDF)
University, Diss., 2003--Dortmund.
|
Page generated in 0.1179 seconds