On the Construction of Connectivity Test Cases in the Setting of UppAal

Brian Nielsen; Godskesen Jens. Chr.; Arne Skou

On the Construction of Connectivity Test Cases in the Setting of UppAal

Brian Nielsen, Godskesen Jens. Chr., Arne Skou

Department of Computer Science

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

Original language	Danish
Title of host publication	Formal Techniques for Networked and Distributed Systems - FORTE 2004
Volume	3235
Publisher	Springer
Publication date	2004
ISBN (Print)	9783540232520
Publication status	Published - 2004
Event	24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE - Madrid, Spain Duration: 27 Sept 2004 → 30 Sept 2004 Conference number: 24

Conference

Conference	24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE
Number	24
Country/Territory	Spain
City	Madrid
Period	27/09/2004 → 30/09/2004

AUB Link

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

Cite this

@inproceedings{1b28a9c09c2e11db8ed6000ea68e967b,

title = "On the Construction of Connectivity Test Cases in the Setting of UppAal",

author = "Brian Nielsen and {Jens. Chr.}, Godskesen and Arne Skou",

year = "2004",

language = "Dansk",

isbn = "9783540232520",

volume = "3235",

booktitle = "Formal Techniques for Networked and Distributed Systems - FORTE 2004",

publisher = "Springer",

address = "Tyskland",

note = "24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE ; Conference date: 27-09-2004 Through 30-09-2004",

}

TY - GEN

T1 - On the Construction of Connectivity Test Cases in the Setting of UppAal

AU - Nielsen, Brian

AU - Jens. Chr., Godskesen

AU - Skou, Arne

N1 - Conference code: 24

PY - 2004

Y1 - 2004

M3 - Konferenceartikel i proceeding

SN - 9783540232520

VL - 3235

BT - Formal Techniques for Networked and Distributed Systems - FORTE 2004

PB - Springer

T2 - 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE

Y2 - 27 September 2004 through 30 September 2004

ER -