Achieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach.
http://arxiv.org/abs/1704.00869
@article{DBLP:journals/corr/YangJL17a,
author = {Zhuoqun Yang and
Zhi Jin and
Zhi Li},
title = {Achieving Adaptation for Adaptive Systems via Runtime Verification:
{A} Model-Driven Approach},
journal = {CoRR},
volume = {abs/1704.00869},
year = {2017},
url = {http://arxiv.org/abs/1704.00869},
archivePrefix = {arXiv},
eprint = {1704.00869},
timestamp = {Mon, 13 Aug 2018 16:47:06 +0200},
biburl = {https://dblp.org/rec/journals/corr/YangJL17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签