95 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

63. Human Errors in Secure Communication Protocols

Schmid, Lara (2015)


Master and Bachelor Theses

72. Visual surveillance

Breitenstein, Michael D. (2009)


Doctoral and Habilitation Theses

74. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses