Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal

K. Havelund; Kim Guldstrand Larsen; Arne Skou

Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal

K. Havelund, Kim Guldstrand Larsen, Arne Skou

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings : Lecture Notes in Computer Science
Editors	Katoen,J.-P. (ed.)
Publisher	IEEE Computer Society Press
Publication date	1999
Edition	1601
Pages	277-298
ISBN (Print)	3540660100
Publication status	Published - 1999
Event	Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal - Duration: 19 May 2010 → …

Conference

Conference	Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal
Period	19/05/2010 → …

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Havelund, K., Larsen, K. G., & Skou, A. (1999). Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal. In Katoen,J.-P. (ed.) (Ed.), Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings: Lecture Notes in Computer Science (1601 ed., pp. 277-298). IEEE Computer Society Press.

Havelund, K. ; Larsen, Kim Guldstrand ; Skou, Arne. / Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal. Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings: Lecture Notes in Computer Science. editor / Katoen,J.-P. (ed.). 1601. ed. IEEE Computer Society Press, 1999. pp. 277-298

@inproceedings{fcb408e08ac111dbbb3d000ea68e967b,

title = "Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal",

author = "K. Havelund and Larsen, {Kim Guldstrand} and Arne Skou",

note = "ISSN ; 0302-9743; Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal ; Conference date: 19-05-2010",

year = "1999",

language = "English",

isbn = "3540660100",

pages = "277--298",

editor = "{Katoen,J.-P. (ed.)}",

booktitle = "Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "1601",

}

Havelund, K, Larsen, KG & Skou, A 1999, Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal. in Katoen,J.-P. (ed.) (ed.), Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings: Lecture Notes in Computer Science. 1601 edn, IEEE Computer Society Press, pp. 277-298, Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal, 19/05/2010.

Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal. / Havelund, K.; Larsen, Kim Guldstrand ; Skou, Arne.
Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings: Lecture Notes in Computer Science. ed. / Katoen,J.-P. (ed.). 1601. ed. IEEE Computer Society Press, 1999. p. 277-298.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

TY - GEN

T1 - Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal

AU - Havelund, K.

AU - Larsen, Kim Guldstrand

AU - Skou, Arne

N1 - ISSN ; 0302-9743

PY - 1999

Y1 - 1999

M3 - Article in proceeding

SN - 3540660100

SP - 277

EP - 298

BT - Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings

A2 - Katoen,J.-P. (ed.), null

PB - IEEE Computer Society Press

T2 - Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal

Y2 - 19 May 2010

ER -

Havelund K, Larsen KG , Skou A. Formal Verification of a Power Controller using the Real-Time Model Checker Uppaal. In Katoen,J.-P. (ed.), editor, Formal Methods for Real-Time and Probabilistic Systems : 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 26-28, 1999 : Proceedings: Lecture Notes in Computer Science. 1601 ed. IEEE Computer Society Press. 1999. p. 277-298