BACH
From MaRDI portal
Software:23842
No author found.
Related Items (5)
Quantitative Model Checking for a Controller Design ⋮ Verification of Hybrid Systems ⋮ Time-triggered conversion of guards for reachability analysis of hybrid automata ⋮ SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata ⋮ Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming
This page was built for software: BACH