- 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 1 to 10 of 21 (0.106 seconds)Spelling suggestions: "subject:"normale spezifikationstechnik"" "subject:"normale identifikationstechnik""
| 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 |
System-level modeling and design with the SpecC languageDömer, Rainer. Unknown Date (has links)
University, Diss., 2000--Dortmund. / Dateiformat: PDF.
|
| 4 |
Executable HybridUML semantics : a transformation definitionBisanz, Stefan January 2005 (has links) (PDF)
Bremen, Univ., Diss., 2005
|
| 5 |
Applications of property based synthesis in formal verificationSchickel, Martin January 2009 (has links)
Zugl.: Darmstadt, Techn. Univ., Diss., 2009
|
| 6 |
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.
|
| 7 |
Functional web site specificationGipp, Torsten January 2006 (has links)
Zugl.: Koblenz, Landau (Pfalz), Univ., Diss., 2006
|
| 8 |
Specification and verification of object oriented software componentsRoth, Andreas. January 2006 (has links)
University, Diss., 2006--Karlsruhe.
|
| 9 |
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
|
| 10 |
High-Level-Entwurf von MikrosystemenMarkert, Erik January 2010 (has links)
Zugl.: Chemnitz, Techn. Univ., Diss., 2010
|
Page generated in 0.1123 seconds