{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T16:42:54Z","timestamp":1730306574244,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/wstfes.2003.1201366","type":"proceedings-article","created":{"date-parts":[[2004,7,20]],"date-time":"2004-07-20T14:08:28Z","timestamp":1090332508000},"page":"79-82","source":"Crossref","is-referenced-by-count":0,"title":["Formal probabilistic refinement verification of embedded real-time systems"],"prefix":"10.1109","author":[{"given":"S.","family":"Yamane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"302","article-title":"Decidability of Bisimulation Equivalences for Processes with Parallel Timers","author":"cerans","year":"1992","journal-title":"LNCS 663"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00046-9"},{"key":"ref10","first-page":"115","article-title":"Model-Checking for probabilistic realtime systems","author":"alur","year":"1991","journal-title":"LNCS 510"},{"key":"ref6","first-page":"151","article-title":"A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems","author":"yamane","year":"1998","journal-title":"LNCS 1641"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61604-7_75"},{"article-title":"Modeling and Verification of Randomized Distributed Real-Time Systems","year":"1995","author":"segala","key":"ref8"},{"article-title":"Time and Probability in Formal Design of Distributed Systems","year":"1991","author":"hansson","key":"ref7"},{"key":"ref2","first-page":"193","article-title":"Symbolic model checking for real-Time systems. IC","volume":"111","author":"henzinger","year":"1994"},{"key":"ref9","first-page":"28","article-title":"Verifying automata specifications of probabilistic real-Time systems","author":"alur","year":"1991","journal-title":"LNCS 600"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"}],"event":{"name":"IEEE Workshop on Software Technologies for Future Embedded Systems. WSTFES 2003","acronym":"WSTFES-03","location":"Hokkaido, Japan"},"container-title":["Proceedings IEEE Workshop on Software Technologies for Future Embedded Systems. WSTFES 2003"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8550\/27045\/01201366.pdf?arnumber=1201366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T17:11:11Z","timestamp":1489425071000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1201366\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/wstfes.2003.1201366","relation":{},"subject":[]}}