Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Davide Bresolin
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
Related publications
Environment-Centric Contracts for Design of Cyber-Physical Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Rigorous Design of Cyber-Physical Systems
Agile Development Methodology for Embedded Systems: A Platform-Based Design Approach
Orchestrated Platform for Cyber-Physical Systems
Complexity
Multidisciplinary
Computer Science
Cloud Based Cyber-Physical Systems in the Design of Next-Generation Digital Systems
Intelligent Automation and Soft Computing
Theoretical Computer Science
Computational Theory
Software
Artificial Intelligence
Mathematics
Editorial to the Theme Section on Model-Based Design of Cyber-Physical Systems
Software and Systems Modeling
Modeling
Software
Simulation
Control-Quality Driven Design of Cyber-Physical Systems With Robustness Guarantees
The AXIOM Platform for Next-Generation Cyber Physical Systems
Microprocessors and Microsystems
Computer Networks
Hardware
Communications
Architecture
Artificial Intelligence
Software
Towards Systematic Design of Cyber-Physical Product-Service Systems
