Computer communications; Scenarios; Decision making; Prototypes; Computer programming; Computer applications;
机译:满足IEC 61850实时通信要求的形式化方法
机译:使用轻量级形式方法验证语音通信要求
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:(1437)将戏剧和阶段的课程应用于正式沟通培训:克服商学院的口头沟通逮捕的战略
机译:克服正式管理控制系统设计中的限制:来自现场的证据
机译:减少无线传感器网络不稳定通信中传感器数据丢失的最小误差和模式方法选择的一种形式化方法
机译:使用替代通信克服压力的卫星网络