Analyzing the Redesign of a Distributed Lift System in UPPAAL

J. Pang; B. Karstens; W.J. Fokkink

Analyzing the Redesign of a Distributed Lift System in UPPAAL

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	504-522
Journal	Lecture Notes in Computer Science
Volume	2885
Publication status	Published - 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

Persistent URL (handle)

Persistent link

Cite this

@article{b83b041c2db644a9a81e09040e2aceca,

title = "Analyzing the Redesign of a Distributed Lift System in UPPAAL",

author = "J. Pang and B. Karstens and W.J. Fokkink",

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",

year = "2003",

language = "English",

volume = "2885",

pages = "504--522",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - Analyzing the Redesign of a Distributed Lift System in UPPAAL

AU - Pang, J.

AU - Karstens, B.

AU - Fokkink, W.J.

N1 - 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

PY - 2003

Y1 - 2003

UR - https://www.scopus.com/pages/publications/0345255240

UR - https://www.scopus.com/inward/citedby.url?scp=0345255240&partnerID=8YFLogxK

M3 - Article

SN - 0302-9743

VL - 2885

SP - 504

EP - 522

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

Analyzing the Redesign of a Distributed Lift System in UPPAAL

Bibliographical note

Persistent URL (handle)

Other files and links

Cite this