Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study

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

130 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Fifth ACM International Conference on Embedded Software (EMSOFT)
Antal sider	8
Forlag	Association for Computing Machinery (ACM)
Publikationsdato	2005
Sider	299-306
ISBN (Trykt)	1595930914
Status	Udgivet - 2005
Begivenhed	Fifth ACM International Conference on Embedded Software (EMSOFT) - New Jersey, USA Varighed: 18 sep. 2005 → 22 sep. 2005 Konferencens nummer: 5th

Konference	Fifth ACM International Conference on Embedded Software (EMSOFT)
Nummer	5th
Land/Område	USA
By	New Jersey
Periode	18/09/2005 → 22/09/2005

AUB Link

@inproceedings{f8f3d7d031c511db8de7000ea68e967b,

title = "Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study",

author = "Marius Mikucionis and Larsen, {Kim Guldstrand} and Brian Nielsen and Arne Skou",

year = "2005",

language = "English",

isbn = "1595930914",

pages = "299--306",

booktitle = "Fifth ACM International Conference on Embedded Software (EMSOFT)",

publisher = "Association for Computing Machinery (ACM)",

address = "United States",

note = "Fifth ACM International Conference on Embedded Software (EMSOFT) ; Conference date: 18-09-2005 Through 22-09-2005",

}

Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study. / Mikucionis, Marius ; Larsen, Kim Guldstrand ; Nielsen, Brian et al.
Fifth ACM International Conference on Embedded Software (EMSOFT). Association for Computing Machinery (ACM), 2005. s. 299-306.

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

TY - GEN

T1 - Testing Real-Time Embedded Software using UppAal-TRON

T2 - Fifth ACM International Conference on Embedded Software (EMSOFT)

AU - Mikucionis, Marius

AU - Larsen, Kim Guldstrand

AU - Nielsen, Brian

AU - Skou, Arne

N1 - Conference code: 5th

PY - 2005

Y1 - 2005

M3 - Article in proceeding

SN - 1595930914

SP - 299

EP - 306

BT - Fifth ACM International Conference on Embedded Software (EMSOFT)

PB - Association for Computing Machinery (ACM)

Y2 - 18 September 2005 through 22 September 2005

ER -