%0 Conference Paper %1 conf/rtcsa/KePSA08 %A Ke, Xu %A Pettersson, Paul %A Sierszecki, Krzysztof %A Angelov, Christo %B RTCSA %D 2008 %I IEEE Computer Society %K dblp %P 153-160 %T Verification of COMDES-II Systems Using UPPAAL with Model Transformation. %U http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2008.html#KePSA08 %@ 978-0-7695-3349-0

@inproceedings{conf/rtcsa/KePSA08, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ke, Xu and Pettersson, Paul and Sierszecki, Krzysztof and Angelov, Christo}, biburl = {https://www.bibsonomy.org/bibtex/2ae21375ec43ed80682ad4f60b37ed873/dblp}, booktitle = {RTCSA}, crossref = {conf/rtcsa/2008}, ee = {https://doi.ieeecomputersociety.org/10.1109/RTCSA.2008.32}, interhash = {a17e436f43706f38216e2dd1396dc38c}, intrahash = {ae21375ec43ed80682ad4f60b37ed873}, isbn = {978-0-7695-3349-0}, keywords = {dblp}, pages = {153-160}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T19:23:40.000+0200}, title = {Verification of COMDES-II Systems Using UPPAAL with Model Transformation.}, url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2008.html#KePSA08}, year = 2008 }