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

Publication: Research - peer-reviewArticle in proceeding

Details

Original languageEnglish
Title of host publicationFifth ACM International Conference on Embedded Software (EMSOFT)
Number of pages8
PublisherAssociation for Computing Machinery
Publication date2005
Pages299-306
ISBN (print)1595930914
StatePublished - 2005
Event - New Jersey, United States

Conference

ConferenceFifth ACM International Conference on Embedded Software (EMSOFT)
Nummer5th
LandUnited States
ByNew Jersey
Periode18/09/200522/09/2005
ID: 526786