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

Research output: 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
Publication categoryResearch
Peer-reviewedNo
Event24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE - Madrid, Spain
Duration: 27 Sep 200430 Sep 2004
Conference number: 24

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