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

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

Originalsprog	Dansk
Titel	Formal Techniques for Networked and Distributed Systems - FORTE 2004
Vol/bind	3235
Forlag	Springer
Publikationsdato	2004
ISBN (Trykt)	9783540232520
Status	Udgivet - 2004
Begivenhed	24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE - Madrid, Spanien Varighed: 27 sep. 2004 → 30 sep. 2004 Konferencens nummer: 24

Konference

Konference	24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE
Nummer	24
Land/Område	Spanien
By	Madrid
Periode	27/09/2004 → 30/09/2004

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

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