A formal method for determining the state of processors in a multiprocessor system under testing (Q2660537)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A formal method for determining the state of processors in a multiprocessor system under testing |
scientific article |
Statements
A formal method for determining the state of processors in a multiprocessor system under testing (English)
0 references
30 March 2021
0 references
multiprocessor systems
0 references
diagnostic graph
0 references
mutual processor testing
0 references
PMC-model
0 references
