Formally specifying t cell cytokine networks with b method

Authors:
Shengrong Zou
Affiliations:
Institute of Information Technology, Yangzhou University, Yangzhou, China
Venue:
CIS'04 Proceedings of the First international conference on Computational and Information Science
Year:
2004

Citing 4
Cited 1

Simulating the immune system

Computing in Science and Engineering
Introducing Dynamic Constraints in B

B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
Refining Action Systems within B-Tool

FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Modeling biological reactivity: statecharts vs. Boolean logic

Proceedings of the Working Conference on Advanced Visual Interfaces

The simulation system of cytokine network based IMMUNE-B

ICICA'11 Proceedings of the Second international conference on Information Computing and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

In our work, We have specified aspects of T-cell cytokine networks using B method. With this model, we are able to run verification with B-toolkit and allow us to compare the dynamic behavior of the model to actual experimental data from College of Animal Science and Veterinary Medicine. Our results show that the use of B method can help confront open questions in immunology and probably in other fields of biology, which, because of their complexity, cannot be addressed by standard laboratory techniques alone.