Efficient Compliance Checking Using BPMN-Q and Temporal Logic 论文

2008Lecture notes in computer science引用 263

Business Process Modeling and AnalysisFormal Methods in VerificationService-Oriented Architecture and Web Services

Business Process Modeling and Analysis Formal Methods in Verification Service-Oriented Architecture and Web Services

相关技术:Formal Methods in Verification Service-Oriented Architecture and Web Services Business Process Modeling and Analysis

Efficient Compliance Checking Using BPMN-Q and Temporal Logic · 相关事件

暂无数据