Jump to Navigation

Integration of model checking and simulation for protocol analysis

TitleIntegration of model checking and simulation for protocol analysis
Publication TypeConference Paper
Year of Publication2012
AuthorsSalmeron, A., and P. Merino
Conference NameXX Jornadas de Concurrencia y Sistemas Distribuidos. JCSD 2012. Pamplona, 13-15 de junio de 2012


Main menu 2

Biblio | by Dr. Radut