NDLTD Global ETD Search
  • Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 66
  • 32
  • 8
  • 3
  • 1
  • Tagged with
  • 110
  • 51
  • 51
  • 32
  • 29
  • 28
  • 28
  • 28
  • 22
  • 21
  • 19
  • 15
  • 14
  • 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.

Search results

Showing 1 to 10 of 110 (0.083 seconds)
1

Efficient system traversal and property checking by exploiting circuit locality

Peranandam, Prakash Mohan. January 2006 (has links)
Tübingen, Univ., Diss., 2006.
Verifikation.
2

System verification tools based on monadic logics

Ayari, Abdelwaheb. January 1900 (has links) (PDF)
Freiburg (Breisgau), University, Diss., 2003. / Erscheinungsjahr an der Haupttitelstelle: 2003.
Verifikation
3

Analysis and verification of systems with dynamically evolving structure

König, Barbara. January 2004 (has links)
Stuttgart, Univ., Habil.-Schr., 2004.
4

Abstract state machines verification problems and complexity /

Spielmann, Marc. Unknown Date (has links) (PDF)
Techn. Hochsch., Diss., 2000--Aachen.
5

Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata /

Beyer, Dirk. January 2002 (has links)
Cottbus, Techn. Univ., Diss., 2002. / Cottbus, Techn. Univ., Diss., 2002.
6

Verification of sequential imperative programs in Isabelle-HOL

Schirmer, Norbert. Unknown Date (has links)
Techn. University, Diss., 2006--München.
7

Sicherheit von Smart-Card-Anwendungen /

Haneberg, Dominik. January 2007 (has links)
Zugl.: Augsburg, Universiẗat, Diss.
8

Verifizierung der numerischen Schallfeldberechnung mittels der Randelementemethode am Beispiel des Reifenrollgeräuschs

Rennert, Roland January 2005 (has links)
Zugl.: Dresden, Techn. Univ., Diss., 2005
9

Verhaltensmodellierung in der Kraftfahrzeugtechnik mittels datenbasierter Methoden /

Mielenz, Holger. January 2009 (has links)
Zugl.: Tübingen, Universiẗat, Diss., 2008.
10

Constraint integer programming

Achterberg, Tobias January 2007 (has links)
Teilw. zugl.: Berlin, Techn. Univ., Diss., 2007

Page generated in 0.0954 seconds