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

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

Detalles Bibliográficos
Formato:	Electrónico Libro
Idioma:	English
Publicado:	IEEE
Subjects:	Computing and Processing; Communication, Networking and Broadcast Technologies; Components, Circuits, Devices and Systems Conference papers and proceedings.
Acceso en liña:	Full text available on IEEE [2017-2023] Off-campus access
Classic Catalogue:	View this record in Classic Catalogue

Títulos similares

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

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

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

2010 11th International Workshop on Microprocessor Test and Verification

2011 12th International Workshop on Microprocessor Test and Verification

Model-Driven Engineering Workshop (MoDRE)

2011 Model-Driven Requirements Engineering Workshop

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

Microprocessor Test and Verification (MTV), International Workshop on

Specification, Verification and Design Languages, FDL, Forum on

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

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

2010 IEEE International Behavioral Modeling and Simulation Workshop

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

Verification and Security Workshop (IVSW), IEEE International

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

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

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

2010 International Conference of Information Science and Management Engineering

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

2010 Fifth International Conference on Internet Computing for Science and Engineering

2010 International Conference on Intelligent System Design and Engineering Application

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

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

2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications

CANEUS Fly by Wireless Workshop 2010

2010 IEEE Dallas Circuits and Systems Workshop

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)

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

2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)

Data-Flow Execution Models for Extreme Scale Computing (DFM), Workshop on

2010 International Conference on Microelectronics

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

2010 International Conference on Mechanic Automation and Control Engineering

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