Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN.
Diego CalvaneseSilvio GhilardiAlessandro GianolaMarco MontaliAndrey RivkinPublished in: CoRR (2019)
Keyphrases
- data sets
- data structure
- data points
- data processing
- database
- data analysis
- data collection
- data distribution
- knowledge discovery
- synthetic data
- data sources
- missing data
- model driven
- data objects
- original data
- high dimensional data
- small number
- image data
- prior knowledge
- training data
- knowledge base
- information retrieval