Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/sac/LeeKSSB17
%A Lee, Euijong
%A Kim, Young-Gab
%A Seo, Young-Duk
%A Seol, Kwangsoo
%A Baik, Doo-Kwon
%B SAC
%D 2017
%E Seffah, Ahmed
%E Penzenstadler, Birgit
%E Alves, Carina
%E Peng, Xin
%I ACM
%K dblp
%P 65-68
%T Runtime verification method for self-adaptive software using reachability of transition system model.
%U http://dblp.uni-trier.de/db/conf/sac/sac2017.html#LeeKSSB17
%@ 978-1-4503-4486-9
@inproceedings{conf/sac/LeeKSSB17,
added-at = {2022-04-09T00:00:00.000+0200},
author = {Lee, Euijong and Kim, Young-Gab and Seo, Young-Duk and Seol, Kwangsoo and Baik, Doo-Kwon},
biburl = {https://www.bibsonomy.org/bibtex/282923ce9176939dfaceebe0fe77f8a74/dblp},
booktitle = {SAC},
crossref = {conf/sac/2017},
editor = {Seffah, Ahmed and Penzenstadler, Birgit and Alves, Carina and Peng, Xin},
ee = {https://doi.org/10.1145/3019612.3019851},
interhash = {323e628810de085cab4075ebcc5fc58d},
intrahash = {82923ce9176939dfaceebe0fe77f8a74},
isbn = {978-1-4503-4486-9},
keywords = {dblp},
pages = {65-68},
publisher = {ACM},
timestamp = {2024-04-09T12:17:32.000+0200},
title = {Runtime verification method for self-adaptive software using reachability of transition system model.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2017.html#LeeKSSB17},
year = 2017
}