标号转换系统相关硕士博士期刊学术论文 - 搜论网

标号转换系统相关论文

状态转换系统的格值量化验证方法研究

形式化方法是使用数学方法确保计算机软硬件系统的正确性和可靠性.经典的形式化描述和验证方法是在二值逻辑上展开的.近年来,大家......

学位

形式化验证互模拟关系迹等价模型检测时间自动机时态逻辑标号转换系统 Kripke结构完备剩余格

看过本文同时还关注