Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pierluigi Nuzzo
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
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
