Please use this identifier to cite or link to this item:
Appears in Collections:Computing Science and Mathematics Journal Articles
Peer Review Status: Refereed
Title: Formal Synthetic Immunology
Author(s): Aldinucci, Marco
Bracciali, Andrea
Lio, Pietro
Contact Email:
Issue Date: Jul-2010
Citation: Aldinucci M, Bracciali A & Lio P (2010) Formal Synthetic Immunology, ERCIM News, 82, pp. 40-41.
Abstract: 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.
Rights: Copyright © 2011 ERCIM News.; Copyright Notice: All authors, as identified in each article, retain copyright of their work.

Files in This Item:
File Description SizeFormat 
Formal Synthetic Immunology.pdf920.31 kBAdobe PDFView/Open

This item is protected by original copyright

Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact providing details and we will remove the Work from public display in STORRE and investigate your claim.