Chunks: Component Verification in CSP ∥ B (Q5429309)
From MaRDI portal
scientific article; zbMATH DE number 5216190
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Chunks: Component Verification in CSP ∥ B |
scientific article; zbMATH DE number 5216190 |
Statements
Chunks: Component Verification in CSP ∥ B (English)
0 references
29 November 2007
0 references
Component based verification
0 references
B-Method
0 references
CSP
0 references
decomposition
0 references
