Fingerprint
Dive into the research topics of 'Reliable sequential testing for statistical model checking'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Reliable sequential testing for statistical model checking
D.P. Reijsbergen, Pieter-Tjerk de Boer, Willem R.W. Scheinhardt, Boudewijn R.H.M. Haverkort
Research output: Contribution to conference › Paper › Other research output