Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation

ASME 2018 Verification and Validation Symposium

Proceedings of the 1st International Workshop on Gamification of Software Development, Verification, and Validation

Proceedings of the 2nd International Workshop on Gamification in Software Development, Verification, and Validation

Proceedings of the Workshop on Scalability in Model Driven Engineering

Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

Proceedings of the Workshop on Model-Driven Security

Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution

Proceedings of the First International Workshop on Model-Driven Interoperability

Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis

Proceedings of the 6th International Workshop on Modeling in Software Engineering

Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering

Proceedings of the Model-driven Approaches for Simulation Engineering Symposium

Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development

Proceedings of the Third Workshop on Process-Based Approaches for Model-Driven Engineering

Proceedings of the 3rd Workshop on Model-Driven Robot Software Engineering

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems

Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems

Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems

Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems

Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems

Proceedings of the 14th international conference on Model driven engineering languages and systems

Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems

Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture

Mathematical Modeling and Validation in EO System Development
par: Hickman, Duncan L.

Proceedings of the 2nd International Master Class on Model-Driven Engineering: Modeling Wizards

Proceedings of the first international workshop on Model driven service engineering and data quality and security

Proceedings of the 6th International Workshop on Models and Evolution

Proceedings of the First International Workshop on Multimedia Verification

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings

Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation

Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing

Proceedings of the 22nd International Conference on Model Driven Engineering Languages and Systems

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems