Process Mining and Verification of Properties: An Approach Based on Temporal Logic 论文

2005Lecture notes in computer science引用 297
DOI
Business Process Modeling and AnalysisService-Oriented Architecture and Web ServicesSemantic Web and Ontologies
Semantic Web and OntologiesBusiness Process Modeling and AnalysisService-Oriented Architecture and Web Services
相关技术:Service-Oriented Architecture and Web ServicesBusiness Process Modeling and Analysis
关系图谱

Process Mining and Verification of Properties: An Approach Based on Temporal Logic · 相关文章

暂无数据