{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:04:52Z","timestamp":1729674292708,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cit.2004.1357308","type":"proceedings-article","created":{"date-parts":[[2004,12,23]],"date-time":"2004-12-23T09:34:02Z","timestamp":1103794442000},"page":"890-895","source":"Crossref","is-referenced-by-count":0,"title":["Case study of modeling immune system with B method"],"prefix":"10.1109","author":[{"family":"ShengRong Zou","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BFb0053357","article-title":"Introducing dynamic constraints in B","author":"abrial","year":"1998","journal-title":"Proceedings of the Second International B Conference B'98 Recent Advances in the Development and Use of the B Method"},{"key":"13","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/1556262.1556318","article-title":"Model biological reactivity: Statecharts vs. boolean logic","author":"kam","year":"2002","journal-title":"Proc Working Conf Advanced Visual Interfaces (AVI '02)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24680-0_108"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1038\/35053181"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.96.7.3894"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-1494-9"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1016\/S1074-7613(00)80125-9"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0092-8674(00)00112-4"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1126\/science.1064621"},{"key":"7","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1093\/intimm\/7.4.505","article-title":"Modelling thymic functions in a cellular automation","volume":"7","author":"morpurgo","year":"1995","journal-title":"International Immunology"},{"key":"6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/3-540-48257-1_1","article-title":"High level system design and analysis using abstract state machines (ASM)","author":"borger","year":"1999","journal-title":"Current Trends in Applied Formal Methods (FM-Trends 98)"},{"key":"5","article-title":"Comparative study of formal and informal specification through an Industrial Case Study","author":"satpathy","year":"2001","journal-title":"Proc IEEE\/IFIP Joint Workshop Formal Specifications of Computer-Based Systems"},{"key":"4","first-page":"85","article-title":"Refining action systems within B-tool","author":"walden","year":"1996","journal-title":"FME 96 Industrial Benefit and Advances in Formal Methods"},{"key":"9","first-page":"136","article-title":"Modeling T cell cytokine network with B method","author":"zou","year":"2004","journal-title":"Proc the Second International Forum on Post-genome Technologies(2'IFPT)"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/5992.852392"}],"event":{"name":"The Fourth International Conference onComputer and Information Technology, 2004. CIT '04.","location":"Wuhan, China"},"container-title":["The Fourth International Conference onComputer and Information Technology, 2004. CIT '04."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9381\/29791\/01357308.pdf?arnumber=1357308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T13:43:01Z","timestamp":1497620581000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1357308\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/cit.2004.1357308","relation":{},"subject":[]}}