Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
| Beste egile batzuk: | |
|---|---|
| Formatua: | Baliabide elektronikoa eBook |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Association for Computing Machinery (ACM),
10/17/11
|
| Gaiak: | |
| Sarrera elektronikoa: | Full text available on Research4Life (ACM) |
Antzeko izenburuak
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
ASME 2019 Verification and Validation Symposium
ASME 2021 Verification and Validation Symposium
ASME 2018 Verification and Validation Symposium
Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
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 Workshop on Model-Driven Security
Proceedings of the 8th international workshop on Specification and verification of component-based systems
Proceedings of the First International Workshop on Model-Driven Interoperability
Proceedings of the 8th International Workshop on Modeling in Software Engineering
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development
Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering
Proceedings of the Model-driven Approaches for Simulation Engineering Symposium
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 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
nork: Hickman, Duncan L.
nork: 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 First International Workshop on Multimedia Verification
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings
Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
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
Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I