Connectivity testing through model-checking

Publication: 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
EventConnectivity testing through model-checking -

Conference

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