%0 Journal Article %1 journals/iotj/LeeSK20 %A Lee, Euijong %A Seo, Young-Duk %A Kim, Young-Gab %D 2020 %J IEEE Internet Things J. %K dblp %N 9 %P 8886-8901 %T A Cache-Based Model Abstraction and Runtime Verification for the Internet-of-Things Applications. %U http://dblp.uni-trier.de/db/journals/iotj/iotj7.html#LeeSK20 %V 7

@article{journals/iotj/LeeSK20, added-at = {2021-09-16T00:00:00.000+0200}, author = {Lee, Euijong and Seo, Young-Duk and Kim, Young-Gab}, biburl = {https://www.bibsonomy.org/bibtex/23694472becf88b8a7caf062ab23ba7a9/dblp}, ee = {https://doi.org/10.1109/JIOT.2020.2996663}, interhash = {64ffdded70c838487748b39eac9497dc}, intrahash = {3694472becf88b8a7caf062ab23ba7a9}, journal = {IEEE Internet Things J.}, keywords = {dblp}, number = 9, pages = {8886-8901}, timestamp = {2024-04-08T14:25:03.000+0200}, title = {A Cache-Based Model Abstraction and Runtime Verification for the Internet-of-Things Applications.}, url = {http://dblp.uni-trier.de/db/journals/iotj/iotj7.html#LeeSK20}, volume = 7, year = 2020 }