66 search results - page 1 / 14 » Formal Modeling of C. elegans Development: A Scenario-Based ... |
CMSB
2003
Springer
13 years 10 months ago
2003
Springer
ALIFE
1998
13 years 5 months ago
1998
The soil nematode Caenorhabditis Elegans (C. elegans) is the most investigated of all multi-cellular organisms. Since the proposal to use it as a model organism, a series of resea...
RE
1999
Springer
13 years 9 months ago
1999
Springer
Requirements Engineering (RE) investigates the impact of a future-oriented change vision, but the move towards this vision must consider a context heavily shaped by the past. As R...
FM
2009
Springer
13 years 12 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
FDL
2005
IEEE
13 years 11 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...