机译:正式验证安全模式组成:申请苏达达
Information securitysecurity patternsformal verificationmodel checkingSCADA;
机译:正式验证安全模式组成:申请苏达达
机译:环境辅助生活应用中正式规范和服务组合验证的趋势和挑战
机译:自动验证安全模式组成
机译:一种验证基于交互模式的网格服务组成的正式方法
机译:正式和半正式验证在软件测试,高级综合和能源互联网中的应用
机译:无线传感器网络中服务组合应用中具有安全性约束的综合QoS分析
机译:Java应用程序的安全性和正确性的形式验证