ProfileOfResearchers

Identified 1

1

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:

Scopus

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service