Eliminating Queues from RT UML Model Representations (Q5392300)
From MaRDI portal
scientific article; zbMATH DE number 5876525
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Eliminating Queues from RT UML Model Representations |
scientific article; zbMATH DE number 5876525 |
Statements
Eliminating Queues from RT UML Model Representations (English)
0 references
8 April 2011
0 references
real-time distributed systems
0 references
RT UML
0 references
protocol verification
0 references
verification of infinite state systems
0 references
