机译:社交客户关系管理系统中服务组合方法的正式建模和验证
Islamic Azad Univ Sci & Res Branch Dept Comp Engn Tehran Iran;
Islamic Azad Univ Tabriz Branch Dept Comp Engn Tabriz Iran;
Islamic Azad Univ Saveh Branch Dept Comp Engn Saveh Iran;
User participation; Customer relationship management (CRM); Social networking; Electronic mediated environment;
机译:基于编排的Web服务组合和一致性验证的形式化和可视化建模方法
机译:模型驱动的方法支持对Web服务组合协议的形式验证
机译:语义Web服务组合的模型转换和形式验证
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:开放系统的模型检查:一种组合的软件验证方法。
机译:健康促进中心客户关系管理系统信息系统成功模型
机译:分布式系统行为建模和基础设施运行的正式验证与有限状态自动机的组成方法:应用于查看水道中功能验证的应用