66 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

55. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses

60. Visual surveillance

Breitenstein, Michael D. (2009)


Doctoral and Habilitation Theses

63. VLSI circuits for cryptographic authentication

Henzen, Luca (2010)


Doctoral and Habilitation Theses

66. Objektidentifikationssyteme im Mikrowellenbereich

Obrist, Bernhard (1996)


Doctoral and Habilitation Theses