75 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

63. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses

64. Visual surveillance

Breitenstein, Michael D. (2009)


Doctoral and Habilitation Theses

69. VLSI circuits for cryptographic authentication

Henzen, Luca (2010)


Doctoral and Habilitation Theses

74. Objektidentifikationssyteme im Mikrowellenbereich

Obrist, Bernhard (1996)


Doctoral and Habilitation Theses