Practical stopping criteria for validating safety-critical software by estimating impartial relia\-bil\-ity
From MaRDI portal
Publication:2466618
DOI10.1016/j.apm.2006.04.017zbMath1126.62094MaRDI QIDQ2466618
Publication date: 15 January 2008
Published in: Applied Mathematical Modelling (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apm.2006.04.017
60G40: Stopping times; optimal stopping problems; gambling theory
62N05: Reliability and life testing
62L15: Optimal stopping in statistics
68N99: Theory of software
Cites Work