Pages that link to "Item:Q969178"
From MaRDI portal
The following pages link to Query-based verification of qualitative trends and oscillations in biochemical systems (Q969178):
Displayed 6 items.
- Applications of an expressive statistical model checking approach to the analysis of genetic circuits (Q498908) (← links)
- STL*: extending signal temporal logic with signal-value freezing operator (Q2453214) (← links)
- Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958) (← links)
- Analyzing Oscillatory Behavior with Formal Methods (Q2937728) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)
- A formal approach for tuning stochastic oscillators (Q6118950) (← links)