Using the Probabilistic Model Checker PRISM to Analyze Credit Card Use

[ERE08] A. El Rayes and M. Er. Using the Probabilistic Model Checker PRISM to Analyze Credit Card Use. Electronic Journal of Information Systems Evaluation, 11(1). 2008. [bib]

Downloads: $bib$ bib

Links: [Google] [Google Scholar]

Publications

Selected publications
PRISM publications
PRISM bibliography
External publications
References
Search