MODELING, SIMULATION, AND VERIFICATION OF BIOCHEMICAL PROCESSES USING STOCHASTIC HYBRID SYSTEMS
Formal modeling and analysis methods hold great promise to help further discovery and innovation for biochemical systems. Domain experts from physicians to chemical engineers can use computational modeling and analysis tools to clarify and demystify complex systems. However, development of accurate...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
VANDERBILT
2009
|
| Subjects: | |
| Online Access: | http://etd.library.vanderbilt.edu//available/etd-03262009-140102/ |