Formal Methods for Computational Systems Biology

Le livre "Méthodes Formelles pour la Biologie Systématique Computationnelle" propose une collection complète de travaux de recherche présentés lors de la huitième École Internationale sur les Méthodes Formelles pour la Conception de Systèmes Informatiques, de Communication et de Logiciels (SFM). Cette série d'écoles vise à promouvoir l'application des méthodes formelles en informatique afin de soutenir une conception rigoureuse des systèmes. L'accent de la SFM 2008 était mis sur les techniques formelles pour la biologie systématique assistée par ordinateur, abordant divers aspects du domaine, y compris les modèles computationnels, les calculs et logiques pour les systèmes biologiques, ainsi que les méthodes de vérification et de simulation. Les conférences et les articles qui les accompagnent offrent des perspectives précieuses pour les étudiants et les jeunes chercheurs souhaitant explorer les fondements et les applications des méthodes formelles.