74 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

27. Rumer

Balzer, Stephanie (2011)


Doctoral and Habilitation Theses

28. Equivalence checking for asynchronous software

Haroud, Malek (2005)


Doctoral and Habilitation Theses

30. Databases for Biometric Identification

Willems, Frans M.J. (2014)


Conference Contributions

33. Applying data mining to contract inference

Kazmin, Nikolay (2010)


Master and Bachelor Theses

44. Verification of design patterns

Hofer, Simon (2009)


Master and Bachelor Theses

46. Model checking Boolean programs

Basler, Gérard Charly (2010)


Doctoral and Habilitation Theses