Verification of Estelle-specified communication protocols using high-level Petri nets (Q5951251)
From MaRDI portal
scientific article; zbMATH DE number 1685347
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verification of Estelle-specified communication protocols using high-level Petri nets |
scientific article; zbMATH DE number 1685347 |
Statements
Verification of Estelle-specified communication protocols using high-level Petri nets (English)
0 references
6 January 2002
0 references
hierarchical typed time nets
0 references
Estelle specifications
0 references
