Die Ergebnisse können Gästen nur in Auswahl angezeigt werden. Bitte melden Sie sich für Vollzugriff an: Anmelden

Treffer: Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation

Title:

Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation

Authors:

Bu, H., Sun, M.

Source:

IEEE Transactions on Software Engineering IIEEE Trans. Software Eng. Software Engineering, IEEE Transactions on. 50(7):1726-1746 Jul, 2024

Database:

IEEE Xplore Digital Library

Links