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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

107 Citationer (Scopus)
OriginalsprogEngelsk
TitelFifth ACM International Conference on Embedded Software (EMSOFT)
Antal sider8
ForlagAssociation for Computing Machinery
Publikationsdato2005
Sider299-306
ISBN (Trykt)1595930914
StatusUdgivet - 2005
BegivenhedFifth ACM International Conference on Embedded Software (EMSOFT) - New Jersey, USA
Varighed: 18 sep. 200522 sep. 2005
Konferencens nummer: 5th

Konference

KonferenceFifth ACM International Conference on Embedded Software (EMSOFT)
Nummer5th
LandUSA
ByNew Jersey
Periode18/09/200522/09/2005

Citationsformater

Mikucionis, M., Larsen, K. G., Nielsen, B., & Skou, A. (2005). Testing Real-Time Embedded Software using UppAal-TRON: an industrial case study. I Fifth ACM International Conference on Embedded Software (EMSOFT) (s. 299-306). Association for Computing Machinery.