Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation - MoDeVVa '12
Latest Publications

TOTAL DOCUMENTS

9
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By ACM Press

9781450318013
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Aligning SysML with the B method to provide V&V for systems engineering

2012 ◽  
Author(s):  
Erwan Bousse ◽  
David Mentré ◽  
Benoît Combemale ◽  
Benoît Baudry ◽  
Takaya Katsuragi
Keyword(s):  
Systems Engineering ◽  
B Method

Model transformation impact on test artifacts

2012 ◽  
Author(s):  
Anders Eriksson ◽  
Birgitta Lindström ◽  
Sten F. Andler ◽  
Jeff Offutt
Keyword(s):  
Model Transformation

scholarly journals Comparing the effectiveness of reasoning formalisms for partial models

2012 ◽  
Author(s):  
Pooya Saadatpanah ◽  
Michalis Famelis ◽  
Jan Gorzny ◽  
Nathan Robinson ◽  
Marsha Chechik ◽  
...  
Keyword(s):  
Partial Models

MoDeVVa 2012 workshop summary

2012 ◽  
Author(s):  
Frédéric Boulanger ◽  
Michalis Famelis ◽  
Frederic Fondement ◽  
Levi Lúcio ◽  
Stephan Weißleder
Keyword(s):  
Workshop Summary

Improving symbolic execution for statechart formalisms

2012 ◽  
Author(s):  
Daniel Balasubramanian ◽  
Corina Păsăreanu ◽  
Michael W. Whalen ◽  
Gábor Karasi ◽  
Michael Lowry
Keyword(s):  
Symbolic Execution
Load More ...
Sign in / Sign up

Export Citation Format

Share Document