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

Research output: 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
Publication categoryResearch
Peer-reviewedYes
EventFifth ACM International Conference on Embedded Software (EMSOFT) - New Jersey, United States
Duration: 18 Sep 200522 Sep 2005
Conference number: 5th

Conference

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