|
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
|
|
NOTION 2022
The Sixth Workshop on Human Behaviour Monitoring, Interpretation and Understanding
|
|
MDE Intelligence 2022
The 4th Workshop on Artificial Intelligence and Model-driven Engineering
|
|
ATVA 2022
The 20th International Symposium on Automated Technology for Verification and Analysis
|
|
MDASD 2022
7th Workshop on Model Driven Approaches in System Development
|
|
ICPM 2022
4th International Conference on Process Mining 2022
|
|
NSV 2022
15th International Workshop on Numerical Software Verification
|
|
EAI TRIDENTCOM 2022
17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies
|
