97 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

51. Verification of design patterns

Hofer, Simon (2009)


Master and Bachelor Theses

64. Human Errors in Secure Communication Protocols

Schmid, Lara (2015)


Master and Bachelor Theses

73. Visual surveillance

Breitenstein, Michael D. (2009)


Doctoral and Habilitation Theses

75. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses