2010 Workshop on Model-Driven Engineering, Verification, and Validation

2010 Workshop on Model-Driven Engineering, Verification, and Validation

Bibliografske podrobnosti
Format:	Elektronski Knjiga
Jezik:	English
Izdano:	IEEE
Teme:	Computing and Processing; Communication, Networking and Broadcast Technologies; Components, Circuits, Devices and Systems Conference papers and proceedings.
Online dostop:	Full text available on IEEE [2017-2023] Off-campus access
Classic Catalogue:	View this record in Classic Catalogue

Podobne knjige/članki

Model-Driven Engineering, Verification, and Validation (MoDeVVa), Workshop on

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

2010 Third International Conference on Software Testing, Verification and Validation

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

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

Software Testing, Verification, and Validation, ICST, International Conference on

2010 11th International Workshop on Microprocessor Test and Verification

Model-Driven Engineering Workshop (MoDRE)

2011 Model-Driven Requirements Engineering Workshop

2011 12th International Workshop on Microprocessor Test and Verification

2010 Third International Conference on Software Testing, Verification, and Validation Workshops

2018 IEEE 3rd International Verification and Security Workshop (IVSW)

Microprocessor Test and Verification (MTV), International Workshop on

2012 IEEE International High Level Design Validation and Test Workshop (HLDVT)

Specification, Verification and Design Languages, FDL, Forum on

Verification and Validation in Scientific Computing
od: William L. Oberkampf, Christopher J. Roy
Izdano: (2013)

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)

2010 IEEE International Behavioral Modeling and Simulation Workshop

Verification and Security Workshop (IVSW), IEEE International

Advances in System Testing and Validation Lifecycle, VALID, International Conference on

2010 Second International Conference on Advances in System Testing and Validation Lifecycle

Software Testing Verification and Validation Workshop, ICSTW, IEEE International Conference on

Electronic Design, Computer Networks & Automated Verification (EDCAV), International Conference on

ASME 2018 Verification and Validation Symposium

ASME 2021 Verification and Validation Symposium

ASME 2019 Verification and Validation Symposium

2010 International Conference of Information Science and Management Engineering

2015 International Conference on Electronic Design, Computer Networks & Automated Verification (EDCAV)

2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD)

2020 ITU Kaleidoscope: Industry-Driven Digital Transformation (ITU K)

2010 Fifth International Conference on Internet Computing for Science and Engineering

2010 International Conference on Intelligent System Design and Engineering Application

2012 13th International Workshop on Microprocessor Test and Verification (MTV)

2016 1st IEEE International Verification and Security Workshop (IVSW)

2017 IEEE 2nd International Verification and Security Workshop (IVSW)

CANEUS Fly by Wireless Workshop 2010

2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops

2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)