Sciweavers

2 search results - page 1 / 1
» Invariance Kernel of Biological Regulatory Networks
Sort
View
BIBM
2008
IEEE
106views Bioinformatics» more  BIBM 2008»
13 years 7 months ago
Invariance Kernel of Biological Regulatory Networks
: The analysis of Biological Regulatory Network (BRN) leads to compute the set of the possible behaviours of the biological components. These behaviours are seen as trajectories an...
Jamil Ahmad, Olivier Roux
ATVA
2008
Springer
144views Hardware» more  ATVA 2008»
13 years 7 months ago
Tests, Proofs and Refinements
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
Sriram K. Rajamani