The following pages link to Roberto Passerone (Q212523):
Displaying 12 items.
- Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313) (← links)
- Refinement preserving approximations for the design and verification of heterogeneous systems (Q2642667) (← links)
- A modal interface theory for component-based design (Q2895779) (← links)
- Approximating Behaviors in Embedded System Design (Q3507398) (← links)
- Multiple Viewpoint Contract-Based Specification and Design (Q3602999) (← links)
- Convergence of Distributed WSN Algorithms: The Wake-Up Scattering Problem (Q3624571) (← links)
- (Q4473735) (← links)
- Hybrid Systems: Computation and Control (Q5703950) (← links)
- Languages and Tools for Hybrid Systems Design (Q5898656) (← links)
- Hybrid Systems: Computation and Control (Q5898999) (← links)
- Languages and Tools for Hybrid Systems Design (Q5900264) (← links)
- A high speed VLSI architecture for handwriting recognition (Q5947749) (← links)