groupware; collaboration protocols; formal methods; human-computer interaction;
机译:通信协议被动测试的正式数据中心方法
机译:可能正确的片上通信:自动协议转换器综合的正式方法
机译:使用SDL进行Web实时通信的信令协议的形式化建模和验证
机译:同步群件的协调和通信协议:一种正式方法
机译:通讯协议的跟踪规范(软件工程,正式规范)。
机译:减少无线传感器网络不稳定通信中传感器数据丢失的最小误差和模式方法选择的一种形式化方法
机译:同步组件的框架和模式:AMF-C方法