75 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

60. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses

71. Visual surveillance

Breitenstein, Michael D. (2009)


Doctoral and Habilitation Theses

73. VLSI circuits for cryptographic authentication

Henzen, Luca (2010)


Doctoral and Habilitation Theses

75. Objektidentifikationssyteme im Mikrowellenbereich

Obrist, Bernhard (1996)


Doctoral and Habilitation Theses