机译:VerChor:编排设计和验证的框架
Systerel, Aix-en-Provence, PACA, France;
机译:基于描述逻辑的服务编排验证的一种形式化方法
机译:使用π微积分进行WS-CDL编排的形式化建模和验证
机译:基于描述逻辑的验证服务编排模型
机译:VerChor:验证编排的框架
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:处理流程编排的变化:传播算法的设计和实现
机译:VerChor:编排设计和验证的框架
机译:计算科学。 BpmN编排自动验证工具。