Synthesis and Verification of Self-aware Computing Systems (Q124326870)
scientific article published in 2017
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Synthesis and Verification of Self-aware Computing Systems |
scientific article published in 2017 |
Statements
Synthesis and Verification of Self-aware Computing Systems (English)
0 references
2017
0 references
337-373
0 references
