{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T19:48:44Z","timestamp":1725392924124},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,5]]},"DOI":"10.1109\/icis.2012.51","type":"proceedings-article","created":{"date-parts":[[2012,6,19]],"date-time":"2012-06-19T21:03:22Z","timestamp":1340139802000},"page":"565-571","source":"Crossref","is-referenced-by-count":1,"title":["Formal Semantics of AADL Models with Machine-Readable CSP"],"prefix":"10.1109","author":[{"family":"Chunxin Yang","sequence":"first","affiliation":[]},{"family":"Yunwei Dong","sequence":"additional","affiliation":[]},{"family":"Fan Zhang","sequence":"additional","affiliation":[]},{"given":"E.","family":"Ahmad","sequence":"additional","affiliation":[]},{"family":"Bin Gu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"207","article-title":"Formal verification of AADL specifications in the topcased environment","author":"berthomieu","year":"2009","journal-title":"Ada-Europe 2009"},{"journal-title":"AS5506 Architecture Analysis and Design Language (AADL)","year":"2004","key":"2"},{"journal-title":"The Semantics and Implementation of Machine-Readable CSP","year":"1998","author":"scattergood","key":"10"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA455842","author":"feiler","year":"2006","journal-title":"The Architecture Analysis & Design Language(AADL) An Introduction"},{"journal-title":"Communicating Sequential Processes","year":"2004","author":"hoare","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/PIC.2010.5687996"},{"key":"5","first-page":"39","article-title":"Translating AADL into BIP - application to the verification of real-time systems","author":"chkouri","year":"0","journal-title":"MoDELS'08 ACES-MB Workshop Proceedings"},{"key":"4","first-page":"47","article-title":"Formal semantics and analysis of behavioral AADL models in real-time maude","author":"olveczky","year":"2010","journal-title":"Proc FMOODS\/FORTE 2010"},{"journal-title":"Concurrent and Real-Time System The CSP Approach","year":"2010","author":"schneider","key":"9"},{"journal-title":"The Theory and Practice of Concurrency","year":"2005","author":"roscoe","key":"8"},{"journal-title":"Formal Systems (Europe) Ltd FDR2 User Manual","year":"2010","key":"11"}],"event":{"name":"2012 IEEE\/ACIS 11th International Conference on Computer and Information Science (ICIS)","start":{"date-parts":[[2012,5,30]]},"location":"Shanghai","end":{"date-parts":[[2012,6,1]]}},"container-title":["2012 IEEE\/ACIS 11th International Conference on Computer and Information Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6210990\/6211068\/06211154.pdf?arnumber=6211154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,30]],"date-time":"2019-06-30T04:00:08Z","timestamp":1561867208000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6211154\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/icis.2012.51","relation":{},"subject":[],"published":{"date-parts":[[2012,5]]}}}