Formal modelling and verification of GALS systems using GRL and CADP (Q315303)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Formal modelling and verification of GALS systems using GRL and CADP |
scientific article; zbMATH DE number 6628716
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal modelling and verification of GALS systems using GRL and CADP |
scientific article; zbMATH DE number 6628716 |
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
