Login / Signup
Formal Modeling of C. elegans Development: A Scenario-Based Approach.
Na'aman Kam
David Harel
Hillel Kugler
Rami Marelly
Amir Pnueli
E. Jane Albert Hubbard
Michael J. Stern
Published in:
CMSB (2003)
Keyphrases
</>
software engineering
case study
e learning
high throughput
development process
computational modeling
real world
genetic algorithm
artificial intelligence
knowledge base
decision support
information processing
design process
formal model
rapid development
modeling framework