LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Liên kết » Các sự kiện tổ chức tại LIP6

Séminaire MoVeRSS

Efficient Static Analysis of Dynamical Properties using the Process Hitting


10-01-2012
Người thuyết trình : Loïc Paulevé (Post-doctorant LIX/AMIB)
 We propose a modeling technique for biological regulatory networks. We show how to analyse such models with a method called Process Hitting, based on static interpretation of reachability properties and fix-point operations. We illustrate this approach with several experiments.
Beatrice.Berard (at) nulllip6.fr
 Mentions légales
Sơ đồ site |