Formal modelling and verification of GALS systems using GRL and CADP (Q315303)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal modelling and verification of GALS systems using GRL and CADP |
scientific article |
Statements
Formal modelling and verification of GALS systems using GRL and CADP (English)
0 references
20 September 2016
0 references
GALS systems
0 references
asynchronous concurrency
0 references
formal description techniques
0 references
model-based verification
0 references
GRL
0 references
CADP
0 references
0 references
