Adapting the UPPAAL Model of a Distributed Lift System

DOI10.1007/978-3-540-75698-9_6zbMath1141.68506OpenAlexW2768848867MaRDI QIDQ3508518

Jun Pang, Allard Kakebeen, W. J. Fokkink

Publication date: 1 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75698-9_6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• Uppaal

This page was built for publication: Adapting the UPPAAL Model of a Distributed Lift System