Verification of COMDES-II Systems Using UPPAAL with Model Transformation.

Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov

Browse the full RTCSA paper archive.