@article{CUI Kai:24, author = {CUI Kai, ZHAO Guo-liang, ZHOU Kuan-jiu, LI Ming-chu}, title = {Model of Embedded Software for Solving Concurrent Defects}, publisher = {Computer Science}, year = {2020}, journal = {Computer Science}, volume = {47}, number = {6}, eid = {24}, numpages = {7}, pages = {24}, keywords = {Interrupt nesting;Data race;Atomicity violation;State transition matrix;Thin interrupt service routine}, url = {https://www.jsjkx.com/EN/abstract/article_19065.shtml}, doi = {10.11896/jsjkx.191100187} }