73 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

54. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses

65. Visual surveillance

Breitenstein, Michael D. (2009)


Doctoral and Habilitation Theses

69. VLSI circuits for cryptographic authentication

Henzen, Luca (2010)


Doctoral and Habilitation Theses

73. Objektidentifikationssyteme im Mikrowellenbereich

Obrist, Bernhard (1996)


Doctoral and Habilitation Theses