Adapting the UPPAAL Model of a Distributed Lift System (Q3508518)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Adapting the UPPAAL Model of a Distributed Lift System |
scientific article |
Statements
Adapting the UPPAAL Model of a Distributed Lift System (English)
0 references
1 July 2008
0 references