Reachability Analysis and Revision of Dynamics of Biological Regulatory Networks

Les systèmes concurrents sont un bon choix pour ajuster les données et analyser les mécanismes sous-jacents pour leur sémantique simple mais expressive. Cependant, l’apprentissage et l’analyse de tels systèmes concurrents sont difficiles pour ce qui concerne les calculs. Lorsqu’il s’agit de grands e...

Full description

Bibliographic Details
Main Author: Chai, Xinwei
Other Authors: Ecole centrale de Nantes
Language:en
Published: 2019
Subjects:
Online Access:http://www.theses.fr/2019ECDN0014/document