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

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

125 Citations (Scopus)

Original language	English
Title of host publication	Fifth ACM International Conference on Embedded Software (EMSOFT)
Number of pages	8
Publisher	Association for Computing Machinery
Publication date	2005
Pages	299-306
ISBN (Print)	1595930914
Publication status	Published - 2005
Event	Fifth ACM International Conference on Embedded Software (EMSOFT) - New Jersey, United States Duration: 18 Sept 2005 → 22 Sept 2005 Conference number: 5th

Conference	Fifth ACM International Conference on Embedded Software (EMSOFT)
Number	5th
Country/Territory	United States
City	New Jersey
Period	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",

address = "United States",

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

}

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › 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

Y2 - 18 September 2005 through 22 September 2005

ER -