Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach
MBT, 2006.
@article{MBT-2006-CallananGRSTZ,
author = "Sean Callanan and Radu Grosu and Abhishek Rai and Scott A. Smolka and Mike R. True and Erez Zadok",
doi = "10.1016/j.entcs.2006.09.005",
journal = "{Electronic Notes in Theoretical Computer Science}",
number = 4,
pages = "41--52",
title = "{Runtime Verification for High-Confidence Systems: A Monte Carlo Approach}",
volume = 164,
year = 2006,
}