Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Taming Dr. Frankenstein: contract-based design for cyber-physical systems |
scientific article |
Statements
Taming Dr. Frankenstein: contract-based design for cyber-physical systems (English)
0 references
28 February 2013
0 references
design methodologies
0 references
industrial automation
0 references
development schedules
0 references
horizontal contracts
0 references
mechanical, electrical, and chemical processes
0 references
controller design
0 references
element integration
0 references
meet-in-the-middle approach
0 references
vertical contracts
0 references
platform-based design
0 references
contract-based design
0 references
subsequent refinement process
0 references
complexity of cyber-physical systems
0 references
control of multi-scale complex systems
0 references
