文艳军

Multi-Access with Collision Detection interrupt program data based on abstract interpretation

董威, 王戟, 文艳军, 2014 .

Multi-interrupt routine data access conflict detection method based on abstract interpretation

董威, 王戟, 文艳军, 2014 .