Istituto di Scienza e Tecnologie dell'Informazione     
Aldinucci M., Bracciali A., Lio' P. Formal synthetic immunology. In: ERCIM News, vol. 82 pp. 40 - 41. ERCIM, 2010.
The human immune system fights pathogens using an articulated set of strategies whose function is to maintain in health the organism. A large effort to formally model such a complex system using a computational approach is currently underway, with the goal of developing a discipline for engineering "synthetic" immune responses. This requires the integration of a range of analysis techniques developed for formally reasoning about the behaviour of complex dynamical systems. Furthermore, a novel class of software tools has to be developed, capable of efficiently analysing these systems on widely accessible computing platforms, such as commodity multi-core architectures.
URL: http://ercim-news.ercim.eu/back-issues-online
Subject Immunology
Model Checking
D.2.4 Software/Program Verification
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional