机译:使用SDL进行Web实时通信的信令协议的形式化建模和验证
机译:优化隔离培养和冷冻方法以保留沃顿胶冻的间充质干细胞(MSC)特性:针对希腊脐带血库的MSC银行协议验证
机译:用于集成的PSTN和IP网络的媒体网关控制器(MGC)和媒体网关(MG)之间的通信控制方法
机译:使用SDL / MSC的媒体网关控制协议(MGCP)的描述和验证
机译:SDL中通用信令传输协议的规范和验证。
机译:西班牙进行的针对癌症药物的随机对照试验规程的说明(1999-2003年)
机译:媒体网关控制协议(MGCP)语音带数据(VBD)包和通用媒体描述符参数包
机译:多协议网关sDL描述。