Formal methods for modelling and validation of biological models / Alexandre Rocca ; sous la direction de Thao Dang

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Modèles mathématiques

Classification Dewey : 510

Dang, Thao (19..-.... ; chercheure en informatique) (Directeur de thèse / thesis advisor)

Jong, Hidde de (1968-....) (Président du jury de soutenance / praeses)

Radulescu, Ovidiu (Rapporteur de la thèse / thesis reporter)

Fages, François (Rapporteur de la thèse / thesis reporter)

Fanchon, Eric (1959-....) (Membre du jury / opponent)

Safránek, David (Membre du jury / opponent)

Communauté d'universités et d'établissements Université Grenoble Alpes (Organisme de soutenance / degree-grantor)

École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire Verimag (Grenoble) (Laboratoire associé à la thèse / thesis associated laboratory)