Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Probabilistic may/must testing: retaining probabilities by restricted schedulers |
scientific article |
Statements
Probabilistic may/must testing: retaining probabilities by restricted schedulers (English)
0 references
22 March 2013
0 references
probabilistic may/must testing
0 references
restricted schedulers
0 references
ready-trace equivalence
0 references