No label defined (Q3394898)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
10 September 2009
0 references
software architecture design
0 references
process algebra
0 references
communicating concurrent systems
0 references
modeling
0 references
verification
0 references
bisimulation
0 references
testing
0 references
architectural description language
0 references
