Skip to content

Testing of a telecommunication protocol using constraint programming.

Olga Grinchtein, Mats Carlsson, Justin Pearson

VenueAICST
Year2015
ProceedingsICST Workshops

Browse the full ICST paper archive.