The following pages link to Alberto Ferrari (Q1860098):
Displaying 7 items.
- A complete system for NN classification based on a VLSI array processor (Q1860101) (← links)
- Hybrid systems in automotive electronics design (Q3442635) (← links)
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System (Q3523098) (← links)
- Multiple Viewpoint Contract-Based Specification and Design (Q3602999) (← links)
- (Q4408177) (← links)
- Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis (Q4899145) (← links)
- Assume–guarantee verification of nonlinear hybrid systems with <scp>Ariadne</scp> (Q5408048) (← links)
