1、对目标模型应用通讯是一种声明性规约,目标值就属此类。
2、这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。
3、详细介绍了实际中经常用到的一些差错控制方法,提出了一种基于CDT远动规约的CRC计算原理及实现方法,并给出了CRC检错码在8051单片机中软件实现的源代码。
1、对目标模型应用通讯是一种声明性规约,目标值就属此类。
2、这些贡献包括编程语言和数据类型的公理化,形式验证,形式规约与分析。
3、详细介绍了实际中经常用到的一些差错控制方法,提出了一种基于CDT远动规约的CRC计算原理及实现方法,并给出了CRC检错码在8051单片机中软件实现的源代码。