Adapting the UPPAAL Model of a Distributed Lift System

W.J. Fokkink; A. Kakebeen; J. Pang

Adapting the UPPAAL Model of a Distributed Lift System

W.J. Fokkink, A. Kakebeen, J. Pang

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

Original language	English
Pages (from-to)	81-97
Journal	Lecture Notes in Computer Science
Volume	4767
Publication status	Published - 2007

Bibliographical note

DBLP:conf/fsen/FokkinkKP07
Proceedings title: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Publisher: Springer
Editors: M. Arbab

Persistent URL (handle)

Persistent link

Cite this

@article{59728b6bfb84453d87cb9fef9c735ee9,

title = "Adapting the UPPAAL Model of a Distributed Lift System",

author = "W.J. Fokkink and A. Kakebeen and J. Pang",

note = "DBLP:conf/fsen/FokkinkKP07 Proceedings title: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings Publisher: Springer Editors: M. Arbab",

year = "2007",

language = "English",

volume = "4767",

pages = "81--97",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

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

}

TY - JOUR

T1 - Adapting the UPPAAL Model of a Distributed Lift System

AU - Fokkink, W.J.

AU - Kakebeen, A.

AU - Pang, J.

N1 - DBLP:conf/fsen/FokkinkKP07 Proceedings title: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings Publisher: Springer Editors: M. Arbab

PY - 2007

Y1 - 2007

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

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

M3 - Article

SN - 0302-9743

VL - 4767

SP - 81

EP - 97

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

Adapting the UPPAAL Model of a Distributed Lift System

Bibliographical note

Persistent URL (handle)

Other files and links

Cite this