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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769543840

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reviewers

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

10.1109/modevva.2010.9 ◽

2010 ◽

Download Full-text

Automating Context Description for Software Formal Verification

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

10.1109/modevva.2010.13 ◽

2010 ◽

Author(s):

Amine Raji ◽

Philippe Dhaussy ◽

Bruno Aizier

Keyword(s):

Formal Verification

Download Full-text

Improving Model Quality by Validating Constraints with Model Unit Tests

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

10.1109/modevva.2010.18 ◽

2010 ◽

Cited By ~ 1

Author(s):

Lars Hamann ◽

Martin Gogolla

Keyword(s):

Model Quality ◽

Model Unit ◽

Unit Tests

Download Full-text

Copyright Page

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

10.1109/modevva.2010.3 ◽

2010 ◽

Download Full-text

Model-Implemented Fault Injection for Hardware Fault Simulation

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

10.1109/modevva.2010.11 ◽

2010 ◽

Cited By ~ 14

Author(s):

Rickard Svenningsson ◽

Henrik Eriksson ◽

Jonny Vinter ◽

Martin Törngren

Keyword(s):

Fault Injection ◽

Fault Simulation

Download Full-text

Author Index

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

10.1109/modevva.2010.16 ◽

2010 ◽

Download Full-text

Organizing Committee

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

10.1109/modevva.2010.7 ◽

2010 ◽

Download Full-text

Program Committee

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

10.1109/modevva.2010.8 ◽

2010 ◽

Keyword(s):

Program Committee

Download Full-text

Cover Art

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

10.1109/modevva.2010.22 ◽

2010 ◽

Keyword(s):

Cover Art

Download Full-text

Toward DO-178B-compliant Test Models

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

10.1109/modevva.2010.21 ◽

2010 ◽

Cited By ~ 10

Author(s):

Heiko Stallbaum ◽

Mark Rzepka

Keyword(s):

Test Models

Download Full-text

2010 Workshop on Model-Driven Engineering, Verification, and ValidationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Reviewers

Automating Context Description for Software Formal Verification

Improving Model Quality by Validating Constraints with Model Unit Tests

Copyright Page

Model-Implemented Fault Injection for Hardware Fault Simulation

Author Index

Organizing Committee

Program Committee

Cover Art

Toward DO-178B-compliant Test Models

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