Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marcus Gerhold
Model-Based Testing of Probabilistic Systems
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
Formal Testing of Timed and Probabilistic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Based Testing of Distributed Time Critical Systems
Symbolic Model Based Testing for Component Oriented Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Model Checking of Regenerative Concurrent Systems
IEEE Transactions on Software Engineering
Software
Model-Based Testing for Concurrent Systems With Labelled Event Structures
Software Testing Verification and Reliability
Media Technology
Risk
Reliability
Safety
Quality
Software
Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain
International Journal of Embedded and Real-Time Communication Systems
Computer Science
A Probabilistic Corpus-Based Model of Syntactic Parallelism
Cognition
Developmental
Educational Psychology
Language
Cognitive Psychology
Cognitive Neuroscience
Linguistics
Experimental
A Segment-Based Probabilistic Generative Model of Speech
Testing Automation Systems by Means of Model Checking
