milan米兰体育 IEEE 1394 树识别协议：案例研究简介

引用

Maharaj S、Romijn J 和 Shankland C (2003) IEEE 1394 树识别协议：案例研究简介。计算的形式方面，14 (3)，第 200-214 页。 https://doi.org/10.1007/s001650300001

摘要
我们介绍了将形式化方法和技术应用于 IEEE 标准 1394 串行多媒体总线的树识别协议的比较案例研究。树识别协议是实现此目的的理想主题，因为它虽小但很复杂，并且可以通过多种方式建模。我们提供了协议的非正式解释，描述了案例研究是如何进行的，并对结果进行了概述。

关键字
比较案例研究；火线；正式方法； IEEE 标准

期刊
计算的形式方面：第 14 卷，第 3 期

• FAC03.pdf