Connectivity testing through model-checking

Research output: Research - peer-reviewArticle in proceeding

Details

Original languageEnglish
Title of host publicationFormal Techniques for Networked and Distributed Systems - Forte 2004, Proceedings
Volume3235
Publication date2004
Pages167-184
StatePublished - 2004
Publication categoryResearch
Peer-reviewedYes
EventConnectivity testing through model-checking -
Duration: 19 May 2010 → …

Conference

ConferenceConnectivity testing through model-checking
Periode19/05/2010 → …
ID: 9742490