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.1088 seconds