Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
Under an Elsevier user license
open archive
Keywords
Systems biology
Stochastic systems
Parameter synthesis
Model infeasibility
Statistical model checking
Cited by (0)
Copyright © 2011 Elsevier B.V.