输出集相关硕士博士期刊学术论文

为单片机程序建立状态机模型,研究用此模型描述程序行为的完整性,讨论此模型的源代码实现方式。......