1 item tagged with 'model checking'.
    
      
    Projects: COVID-19 Disease Map, Covid-19 Interferon pathway modelling and analysis
Institutions: Inria Saclay - Île-de-France, University of Évry Val d'Essonne
 https://orcid.org/0000-0001-5525-7418
      Expertise: Computational Systems Biology
Tools: Petri Nets, constraint programming, model checking, Python, ODE Modelling, Prolog