Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov. Verification of COMDES-II Systems Using UPPAAL with Model Transformation. In The Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, Kaohisung, Taiwan, 25-27 August 2008, Proceedings. pages 153-160, IEEE Computer Society, 2008. [doi]
@inproceedings{KePSA08,
title = {Verification of COMDES-II Systems Using UPPAAL with Model Transformation},
author = {Xu Ke and Paul Pettersson and Krzysztof Sierszecki and Christo Angelov},
year = {2008},
doi = {10.1109/RTCSA.2008.32},
url = {http://dx.doi.org/10.1109/RTCSA.2008.32},
tags = {model-to-model transformation, meta-model, source-to-source, transformation system, model transformation, Meta-Environment, transformation},
researchr = {https://researchr.org/publication/KePSA08},
cites = {0},
citedby = {0},
pages = {153-160},
booktitle = {The Fourteenth IEEE Internationl Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008, Kaohisung, Taiwan, 25-27 August 2008, Proceedings},
publisher = {IEEE Computer Society},
}