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