On the Construction of Connectivity Test Cases in the Setting of UppAal

Publication: ResearchArticle in proceeding

Details

Original languageDanish
Title of host publicationFormal Techniques for Networked and Distributed Systems - FORTE 2004
Volume3235
PublisherSpringer
Publication date2004
ISBN (print)9783540232520
StatePublished - 2004
Event - Madrid, Spain

Conference

Conference24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE
Nummer24
LandSpain
ByMadrid
Periode27/09/200430/09/2004
ID: 132485