• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 65
  • 30
  • 8
  • 3
  • 1
  • Tagged with
  • 107
  • 49
  • 48
  • 32
  • 29
  • 25
  • 25
  • 25
  • 22
  • 20
  • 18
  • 15
  • 13
  • 13
  • 13
  • 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.
21

Online-Unterschriftenverifikation basierend auf Methoden des Maschinellen Lernens /

Gruber, Christian. January 2009 (has links)
Zugl.: Passau, Universiẗat, Diss., 2009.
22

Applications of property based synthesis in formal verification

Schickel, Martin January 2009 (has links)
Zugl.: Darmstadt, Techn. Univ., Diss., 2009
23

Iterative design space exploration and robustness optimization for embedded systems

Hamann, Arne January 2008 (has links)
Zugl.: Braunschweig, Techn. Univ., Diss., 2008
24

The theory and practice of runtime reflection a model-based framework for dynamic analysis of distributed reactive systems

Bauer, 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
25

Model checking abstract state machines

Winter, Kirsten. Unknown Date (has links) (PDF)
Techn. University, Diss., 2001--Berlin.
26

Model checking combined Z and statechart specifications

Büssow, Robert. Unknown Date (has links) (PDF)
Techn. University, Diss., 2003--Berlin.
27

An integrated approach to testing complex systems

Niese, Oliver. Unknown Date (has links) (PDF)
University, Diss., 2003--Dortmund.
28

Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen formale Basis und Beiträge zur Theorie /

Wedig, Arnim. Unknown Date (has links) (PDF)
Universiẗat, Diss., 2004--Dortmund.
29

A lattice-theoretic framework for circular assume-guarantee reasoning

Maier, Patrick. Unknown Date (has links) (PDF)
University, Diss., 2003--Saarbrücken.
30

Compositional verification of industrial control systems methods and case studies /

Lukoschus, Ben. Unknown Date (has links) (PDF)
University, Diss., 2004--Kiel.

Page generated in 0.1171 seconds