{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:47:49Z","timestamp":1725706069948},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/aiccsa.2015.7507170","type":"proceedings-article","created":{"date-parts":[[2016,8,12]],"date-time":"2016-08-12T00:26:39Z","timestamp":1470961599000},"page":"1-4","source":"Crossref","is-referenced-by-count":2,"title":["Formal modeling of the Simple Text Oriented Messaging Protocol using Event-B method"],"prefix":"10.1109","author":[{"given":"Sanae","family":"El Mimouni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Bouhdadi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511663079"},{"key":"ref3","article-title":"Incremental Design of Distributed Systems with Event-B","author":"butler","year":"2008","journal-title":"Marktoberdorf Summer School 2008 Lecture Notes"},{"key":"ref10","article-title":"Redevelopment of an Industrial Case Study Using Event-B and Rodin","author":"rezazadeh","year":"2007","journal-title":"BCS- ACS 2007 Meeting Formal Method in Industry"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24550-3_30"},{"key":"ref5","article-title":"Redevelopment of an Industrial Case Study Using Event-B and Rodin","author":"rezazadeh","year":"2007","journal-title":"BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry"},{"key":"ref8","first-page":"21","article-title":"Applying Event-B Refinement to the Sliding Window Protocol","author":"el mimouni","year":"2014","journal-title":"18th IEEE International Conference on Computational Science and Engineering CSE 2015"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.4028\/www.scientific.net\/AMM.316-317.1156"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195881"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162"},{"year":"0","key":"ref1","article-title":"The Simple Text Oriented Messaging Protocol"}],"event":{"name":"2015 IEEE\/ACS 12th International Conference of Computer Systems and Applications (AICCSA)","start":{"date-parts":[[2015,11,17]]},"location":"Marrakech, Morocco","end":{"date-parts":[[2015,11,20]]}},"container-title":["2015 IEEE\/ACS 12th International Conference of Computer Systems and Applications (AICCSA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7502233\/7507087\/07507170.pdf?arnumber=7507170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T16:48:51Z","timestamp":1489769331000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7507170\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/aiccsa.2015.7507170","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}