{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:17:19Z","timestamp":1740100639268,"version":"3.37.3"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T00:00:00Z","timestamp":1637884800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T00:00:00Z","timestamp":1637884800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,26]],"date-time":"2021-11-26T00:00:00Z","timestamp":1637884800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,26]]},"DOI":"10.1109\/iske54062.2021.9755388","type":"proceedings-article","created":{"date-parts":[[2022,4,18]],"date-time":"2022-04-18T20:30:58Z","timestamp":1650313858000},"page":"95-100","source":"Crossref","is-referenced-by-count":1,"title":["A Language for Performance Evaluation Based on the Combination of CTRML and MMTD and Its Algorithm"],"prefix":"10.1109","author":[{"given":"Fujun","family":"Wang","sequence":"first","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics,College of Computer Science and Technology,Nanjing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zining","family":"Cao","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics,College of Computer Science and Technology,Nanjing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuya","family":"Wang","sequence":"additional","affiliation":[{"name":"Nanjing University of Posts and Telecommunications,Tongda College,Yangzhou,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hui","family":"Zong","sequence":"additional","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics,College of Computer Science and Technology,Nanjing,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiwei","family":"Lu","sequence":"additional","affiliation":[{"name":"Science and Technology on Electrooptic Control Laboratory,Luoyang,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"An Introduction to Real Analysis","author":"hunter","year":"2014","journal-title":"University of California Davis"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICACI.2012.6463288"},{"key":"ref12","article-title":"Probabilistic Extensions of Process Algebras","author":"jonsson","year":"2001","journal-title":"Handbook of Process Algebra"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-012-0242-7"},{"key":"ref14","first-page":"32","article-title":"Compositionality of Approximate Bisimulation for Probabilistic Systems","author":"daniel","year":"2013","journal-title":"Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2815493.2815501"},{"key":"ref16","first-page":"443","article-title":"Algebraic Reasoning for Probabilistic Concurrent Systems","author":"giacalone","year":"1990","journal-title":"Proceedings of the IFIP Working Group 2 2 2 3 Working Conference on Programming Concepts and Methods"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45352-0_5"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2015.04.003"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-018-0457-3"},{"key":"ref6","first-page":"2186","article-title":"Measure of Medium Truth Scale and Its Application (I)","volume":"29","author":"hong","year":"2006","journal-title":"Chinese Journal of Computers"},{"article-title":"Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach","year":"2020","author":"wang","key":"ref5"},{"key":"ref8","first-page":"1320","article-title":"A system of medium axiomatic set theory","volume":"11","author":"zhu","year":"1988","journal-title":"Science in China"},{"key":"ref7","first-page":"315","article-title":"Propositional Calculus System of Medium Logic (I)","volume":"8","author":"zhu","year":"1985","journal-title":"J Nature"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00305-4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46506-5_1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICYCS.2008.135"}],"event":{"name":"2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","start":{"date-parts":[[2021,11,26]]},"location":"Chengdu, China","end":{"date-parts":[[2021,11,28]]}},"container-title":["2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9755300\/9755317\/09755388.pdf?arnumber=9755388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T02:22:03Z","timestamp":1657333323000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9755388\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,26]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iske54062.2021.9755388","relation":{},"subject":[],"published":{"date-parts":[[2021,11,26]]}}}