Fault tolerance; Architecture(Computers); Protocol(Computers); Binding; Models;
机译:利用可靠性技术分析风险预防文件:迈向有效模型的第一步
机译:利用可靠性技术分析风险预防文件:迈向有效性模型的第一步
机译:用于分析安全协议的正式模型和技术
机译:关于使用形式技术来分析可靠的实时协议
机译:Ad hoc网络协议的建模与验证技术。
机译:基于UML的软件开发中的可靠性建模和评估
机译:关于使用形式化技术分析可靠的实时协议