No photo of Marcus Gerhold

Marcus Gerhold

  • 17 Citations
  • 2 h-Index
20152019
If you made any changes in Pure these will be visible here soon.

Research Output 2015 2019

  • 17 Citations
  • 2 h-Index
  • 6 Conference contribution
  • 2 Article
  • 1 PhD Thesis - Research UT, graduation UT
Filter
PhD Thesis - Research UT, graduation UT
2018
60 Downloads (Pure)

Choice and chance: model-based testing of stochastic behaviour

Gerhold, M., 12 Dec 2018, Enschede: University of Twente. 263 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Testing
Specification languages
Computer applications
Formal methods
Stochastic systems