Fingerprint
Dive into the research topics of 'Analysis of a Redesigned Lift System Using UPPAAL'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Analysis of a Redesigned Lift System Using UPPAAL
B. Karstens, Wan Fokkink, J. Pang
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic