Barium; Computers; Integratedcircuits; artifact; businessprocesssystem; descriptionlogicsmodel; verification;
机译:自动化以工件为中心的业务流程模型的正确性验证
机译:通过同步验证以工件为中心的业务流程模型的行为健全性
机译:将无功行为嵌入以文物为中心的业务流程模型
机译:文物为中心的业务流程系统的描述逻辑模型和文物的验证
机译:探索以人工为中心的业务流程模型的复杂性指标
机译:在监管决策过程中整合现实世界证据:使用逻辑模型对美国欧盟和中国经验进行系统分析
机译:验证和验证以UmL工件为中心的业务流程模型
机译:实时高级数据处理并行元素处理集合(pEpE)。附件1. pEpE功能仿真校准模型和系统验证模型描述。