Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin. Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes. In 27th IEEE International Symposium on Industrial Electronics, ISIE 2018, Cairns, Australia, June 13-15, 2018. pages 669-674, IEEE, 2018. [doi]
@inproceedings{BuzhinskyPV18, title = {Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes}, author = {Igor Buzhinsky and Antti Pakonen and Valeriy Vyatkin}, year = {2018}, doi = {10.1109/ISIE.2018.8433793}, url = {https://doi.org/10.1109/ISIE.2018.8433793}, researchr = {https://researchr.org/publication/BuzhinskyPV18}, cites = {0}, citedby = {0}, pages = {669-674}, booktitle = {27th IEEE International Symposium on Industrial Electronics, ISIE 2018, Cairns, Australia, June 13-15, 2018}, publisher = {IEEE}, isbn = {978-1-5386-3705-0}, }