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.

Fingerprint Dive into the research topics where Marcus Gerhold is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Testing
Specifications
Bluetooth
Network protocols
Real time systems
Statistical methods
Probability distributions
Specification languages
Computer applications
Formal methods
Stochastic systems

Mathematics

Model-based Testing
Scheduler
Automata
Nondeterminism
Soundness
Trade-offs
Output
Completeness
Correctness
Probabilistic Automata
Requirements Specification
Reachability
Concurrent
Hypothesis Testing
Resolve