Kazuya Aizawa, Kenji Tei, Shinichi Honiden. Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems. In 2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United Kingdom, August 19-23, 2019. pages 1363-1370, IEEE, 2019. [doi]
@inproceedings{AizawaTH19, title = {Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems}, author = {Kazuya Aizawa and Kenji Tei and Shinichi Honiden}, year = {2019}, doi = {10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00249}, url = {https://doi.org/10.1109/SmartWorld-UIC-ATC-SCALCOM-IOP-SCI.2019.00249}, researchr = {https://researchr.org/publication/AizawaTH19}, cites = {0}, citedby = {0}, pages = {1363-1370}, booktitle = {2019 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2019, Leicester, United Kingdom, August 19-23, 2019}, publisher = {IEEE}, isbn = {978-1-7281-4034-6}, }