Pages that link to "Item:Q5491865"
From MaRDI portal
The following pages link to Automated Technology for Verification and Analysis (Q5491865):
Displaying 8 items.
- Discrete semantics for hybrid automata. Avoiding misleading assumptions in systems biology (Q843992) (← links)
- Hybrid automata, reachability, and systems biology (Q969180) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Formal verification and quantitative metrics of MPSoC data dynamics (Q1707342) (← links)
- Generating invariants for non-linear hybrid systems (Q2355695) (← links)
- Taylor approximation for hybrid systems (Q2461793) (← links)
- Algorithmic algebraic model checking. III: Approximate methods (Q2852017) (← links)
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)