Taming Dr. Frankenstein: contract-based design for cyber-physical systems (Q1937313)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Taming Dr. Frankenstein: contract-based design for cyber-physical systems |
scientific article; zbMATH DE number 6140027
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Taming Dr. Frankenstein: contract-based design for cyber-physical systems |
scientific article; zbMATH DE number 6140027 |
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
0.723182201385498
0 references
0.7028091549873352
0 references
0.7018913626670837
0 references
0.6926342844963074
0 references
0.6923388838768005
0 references
