96 Results for (keywords_en:VERIFICATION)

Subscribe to RSS feed for this result set

27. Specified and verified reusable components

Polikarpova, Nadia (2014)


Doctoral and Habilitation Theses

28. Verifying abstract state machines

Nanchen, Stanislas (2007)


Doctoral and Habilitation Theses

41. Rumer

Balzer, Stephanie (2011)


Doctoral and Habilitation Theses

44. Incremental Verification

Juhasz, Uri (2016)


Doctoral and Habilitation Theses

45. Program Trace Capture and Analysis for ARM

Pârvu, Andrei (2016)


Master and Bachelor Theses

49. Databases for Biometric Identification

Willems, Frans M.J. (2014)


Conference Contributions

50. Verification of design patterns

Hofer, Simon (2009)


Master and Bachelor Theses