82 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

26. Specified and verified reusable components

Polikarpova, Nadia (2014)


Doctoral and Habilitation Theses

27. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses

40. Rumer

Balzer, Stephanie (2011)


Doctoral and Habilitation Theses

44. Databases for Biometric Identification

Willems, Frans M.J. (2014)


Conference Contributions

45. Verification of design patterns

Hofer, Simon (2009)


Master and Bachelor Theses