Amanote Research
Register
Sign In
Rigorous Design of Cyber-Physical Systems
doi 10.1109/samos.2012.6404193
Full Text
Open PDF
Abstract
Available in
full text
Date
July 1, 2012
Authors
Joseph Sifakis
Publisher
IEEE
Related search
Environment-Centric Contracts for Design of Cyber-Physical Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards Systematic Design of Cyber-Physical Product-Service Systems
Cyber Physical Systems
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
Control-Quality Driven Design of Cyber-Physical Systems With Robustness Guarantees
Inaugural Issue of ‘Cyber-Physical Systems’
Cyber-Physical Systems
Computational Mechanics
Pattern Recognition
Computer Vision
Computer Graphics
Computer-Aided Design
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
Interfaces in Evolving Cyber-Physical Systems-Of-Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Orchestrated Platform for Cyber-Physical Systems
Complexity
Multidisciplinary
Computer Science
