Analyzing the Redesign of a Distributed Lift System in UPPAAL

J. Pang, B. Karstens, W.J. Fokkink

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)504-522
JournalLecture Notes in Computer Science
Volume2885
Publication statusPublished - 2003

Bibliographical note

DBLP:conf/icfem/PangKF03
Proceedings title: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings
Publisher: Springer
Editors: J.S. Dong, J. Woodcock

Cite this