Jump to Content

Probabilistic verification of discrete event systems using acceptance sampling

Reid G. Simmons
Proceedings of the 14th International Conference on Computer Aided Verification, Springer, Berlin / Heidelberg (2002), pp. 223-235

Abstract

Research Areas