Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alberto L. Sangiovanni-Vincentelli
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
Proceedings of the IEEE
Electronic Engineering
Electrical
Computer Science
From Relational Interfaces to Assume-Guarantee Contracts
