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]
Abstract is missing.