Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luca Geretti
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
Ongoing Work on Automated Verification of Noisy Nonlinear Systems With Ariadne
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
