Formally specifying T cell cytokine networks with B method

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. © Springer-Verlag 2004.