ProfileOfResearchers

TITLE: Model-based approaches for validating business critical systems
AUTHORS: Augusto J.; Howard Y.; Gravell A.; Ferreira C. ; Gruner S.; Leuschel M.;
PUBLISHED: 2004, SOURCE: Proceedings - 11th Annual International Workshop on Software Technology and Engineering Practice, STEP 2003

INDEXED IN: