共 50 条
- [14] Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (POPL): : 33 - 60
- [16] Personalised Provenance Reasoning Models and Risk Assessment in Business Systems: A Case Study 2013 IEEE SEVENTH INTERNATIONAL SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE 2013), 2013, : 329 - 334
- [17] Using Value Models for Business Risk Analysis in e-Service Networks PRACTICE OF ENTERPRISE MODELING, POEM 2015, 2015, 235 : 239 - 253
- [20] CLASSIFICATION OF BUSINESS MODELS FINANCE AND PERFORMANCE OF FIRMS IN SCIENCE, EDUCATION, AND PRACTICE, 2015, : 1324 - 1334