|
VMCAI 2022
Verification, Model Checking and Abstract Interpretation
|
|
VSTTE 2022
14th International Conference on Verified Software: Theories, Tools, and Experiments
|
|
ModeVVa 2022
19th Workshop on Model Driven Engineering, Verification and Validation
|
|
MODELS 2022
MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
|
|
MDE Intelligence 2022
The 4th Workshop on Artificial Intelligence and Model-driven Engineering
|
|
MDA AI&PR 2023
MDA AI&PR 2023 : 18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biomet
|
|
ATVA 2022
The 20th International Symposium on Automated Technology for Verification and Analysis
|
|
NOTION 2022
The Sixth Workshop on Human Behaviour Monitoring, Interpretation and Understanding
|
|
ICCD 2022
International Conference on Computer Design
|
|
MDASD 2022
7th Workshop on Model Driven Approaches in System Development
|
