共 28 条
- [1] A Survey of Statistical Model Checking [J]. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION, 2018, 28 (01):
- [3] Arora S, 2018, P 7 INT C COMPL NETW
- [4] Arsekar Radhiya, 2017, Smart Health. International Conference, ICSH 2017. Proceedings: LNCS 10347, P256, DOI 10.1007/978-3-319-67964-8_25
- [5] Bailey Norman TJ, 1975, The Mathematical Theory of Infectious Diseases and Its Applications
- [7] Barrett C.L., P 2008 ACM IEEE C SU
- [9] Clarke EM, 2011, LECT NOTES COMPUT SC, V6996, P1, DOI 10.1007/978-3-642-24372-1_1
- [10] Herd Benjamin, 2014, Multi-Agent-Based Simulation XIV. International Workshop, MABS 2013. Revised Selected Papers. LNCS: 8235, P53, DOI 10.1007/978-3-642-54783-6_4