Tools and Methods for RTCP-Nets Modeling and Verification (Q4971674)
From MaRDI portal
scientific article; zbMATH DE number 7259406
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tools and Methods for RTCP-Nets Modeling and Verification |
scientific article; zbMATH DE number 7259406 |
Statements
Tools and Methods for RTCP-Nets Modeling and Verification (English)
0 references
12 October 2020
0 references
RTCP-nets
0 references
Petri nets
0 references
model checking
0 references
coverability graphs
0 references
nuXmv
0 references
CADP
0 references
