2023年12月14日
形式化建模与分析方法知识点
摘要： 这个是比较针对期末复习的知识点整理，根据我的复习随缘更新，如果发现有些部分没写那就是因为我还没复习到（大概） （PS：这些知识点中有很大部分来自老师的PPT，也有一部分来源于学长学姐整理的资料，最后也有一小部分来源于我自己的总结） 一.简答题 1.串行系统的程序正确性定义。 2.有限状态机的不足之处 阅读全文
posted @ 2023-12-14 20:04 鸢凛 阅读(78) 评论(0) 推荐(0) 编辑