...
机译:服务的可靠性认证:基于模型的方法
Dipartimento di Informatica, Universita degli Studi di Milano, 26013 Crema (CR), Italy;
Dipartimento di Informatica, Universita degli Studi di Milano, 26013 Crema (CR), Italy;
Dipartimento di Informatica, Universita degli Studi di Milano, 26013 Crema (CR), Italy;
BPEL; Dependability certification; Markov chains; Web services;
机译:通过应用基于模型的风险评估方法来解决可靠性
机译:普惠公司为可靠的发动机提供可靠的服务
机译:使用状态机复制方法实现可靠和安全服务的多样性架构
机译:基于模型的服务可靠性认证方法
机译:基于模型的技术在自主运行的业务代表群体中进行可靠的决策
机译:家庭暴力服务提供者的培训和认证:对国家标准课程和培训方法的需求
机译:一类系统基于模型的可靠性评估的模块化方法
机译:面向恢复的可靠服务方法:使用系统范围的撤销修复过去的错误