The following pages link to (Q4417923):
Displayed 5 items.
- Semi-formal verification of the steady state behavior of mixed-signal circuits by SAT-based property checking (Q947801) (← links)
- Syntax and consistent equation semantics of hybrid Chi (Q2368698) (← links)
- Counterexample-guided predicate abstraction of hybrid systems (Q2368954) (← links)
- Abstractions for hybrid systems (Q2475634) (← links)
- Supervisory control of hybrid systems based on model abstraction and guided search (Q2496813) (← links)