{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:44:57Z","timestamp":1729622697304,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1109\/icnsc.2010.5461620","type":"proceedings-article","created":{"date-parts":[[2010,5,12]],"date-time":"2010-05-12T16:40:24Z","timestamp":1273682424000},"page":"441-446","source":"Crossref","is-referenced-by-count":0,"title":["Formal specification and verification of reconfigurable protocol stack for networked control system"],"prefix":"10.1109","author":[{"given":"Chen","family":"Hui","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhou","family":"Chunjie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huang","family":"Xiongfeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qing","family":"Yuanqing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"379","article-title":"COMSCRIPT: An Environment for the Implementation of Protocol Stacks and Their Dynamic Reconfiguration","author":"muhugusa","year":"1994","journal-title":"International Symposium Applied Corporate Computing (ISACC 94) Texas A&M Univ"},{"key":"ref3","first-page":"552","article-title":"Design and implementation of a dynamic protocol framework","author":"an","year":"2004","journal-title":"Proceedings of the IEEE International Conference on Networks (ICON 2004)"},{"journal-title":"Telelogic Inc Telelogic TAU SDL suite 4 0 Telelogic AB","year":"2000","key":"ref10"},{"key":"ref6","first-page":"820","article-title":"A module management scheme for dynamic reconfiguration","volume":"5072","author":"min","year":"2008","journal-title":"Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TNET.2007.906245"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48213-X_19"},{"key":"ref7","first-page":"827","article-title":"DRAPS: A framework for dynamic reconfigurable protocol stacks","volume":"25","author":"niamanesh","year":"2009","journal-title":"Journal of Information Science and Engineering"},{"key":"ref2","first-page":"117","article-title":"Integrated computation, communication and control: towards next revolution in Information Technology","volume":"3356","author":"xia","year":"2004","journal-title":"International Conference on Information Technology 2004 CIT'04"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1007\/3-540-45075-0_21","article-title":"Modeling IETF Session initiation protocol and its services in SDL","volume":"2708","author":"chan","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/EICEMC.2003.1247936"}],"event":{"name":"2010 International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2010,4,10]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2010,4,12]]}},"container-title":["2010 International Conference on Networking, Sensing and Control (ICNSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5456078\/5461482\/05461620.pdf?arnumber=5461620","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T04:07:02Z","timestamp":1497845222000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5461620\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2010.5461620","relation":{},"subject":[],"published":{"date-parts":[[2010,4]]}}}