|
VSTTE 2021
VSTTE'21: Working Conference on Verified Software: Theories, Tools, and Experiments
|
|
MoDeVVa 2021
18th Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVA)
|
|
CAV 2021
33rd International Conference on Computer-Aided Verification
|
|
ISSTA 2021
International Symposium on Software Testing and Analysis
|
|
MODELSWARD 2022
10th International Conference on Model-Driven Engineering and Software Development
|
|
IEEE-IIB 2021
IEEE Intelligent Informatics Bulletin: Call for Ph.D. Thesis Abstracts
|
|
COLA Journal (Elsevier) 2021
CFP: Special issue on “Methods, Tools and Languages for Model-driven Engineering and Low-code Development”
|
|
ATVA 2021
The 19th International Symposium on Automated Technology for Verification and Analysis
|
|
MODELS 2021
ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
|
|
A-MOST 2021
Advances in Model-Based Software Testing
|
