Qingdi Meng, Lianyi Zhang, GuiMing Luo. Formal verification for embedded software with cognitive environment modelling. In IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2014, London, UK, August 18-20, 2014. pages 355-360, IEEE, 2014. [doi]
@inproceedings{MengZL14-0, title = {Formal verification for embedded software with cognitive environment modelling}, author = {Qingdi Meng and Lianyi Zhang and GuiMing Luo}, year = {2014}, doi = {10.1109/ICCI-CC.2014.6921483}, url = {http://dx.doi.org/10.1109/ICCI-CC.2014.6921483}, researchr = {https://researchr.org/publication/MengZL14-0}, cites = {0}, citedby = {0}, pages = {355-360}, booktitle = {IEEE 13th International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2014, London, UK, August 18-20, 2014}, publisher = {IEEE}, }