Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Model-checking HASL"'
Autor:
Gallet, Emmanuelle
Dans ce mémoire, nous présentons l’utilisation de techniques de model-checking pour l’inférence de paramètres de réseaux de régulation génétique (GRN) et l’analyse formelle d’une voie de signalisation. Le coeur du mémoire est décrit
Externí odkaz:
http://www.theses.fr/2016SACLC035/document
Autor:
Gallet, Emmanuelle
Publikováno v:
Autre. Université Paris Saclay (COmUE), 2016. Français. ⟨NNT : 2016SACLC035⟩
In this thesis, we present the use of model checking techniques for inference of parameters of Gene Regulatory Networks (GRNs) and formal analysis of a signalling pathway. In the first and main part, we provide an approach to infer biological paramet
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4658eb7bff4be173c2c74c239f117d09
https://theses.hal.science/tel-01484341
https://theses.hal.science/tel-01484341