Model-Checking Techniques Based on Cumulative Residuals

Autor:	Lin, D. Y., Wei, L. J., Ying, Z.
Zdroj:	Biometrics, 2002 Mar 01. 58(1), 1-12.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/3068284 Zobrazit plný text záznamu Plný text