TY - CONF ID - SisLab1968 UR - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1968/ A1 - Dang, Duc Hanh Y1 - 2007/// PB - CEUR-WS.org VL - 262 TI - Validation of System Behavior from an Integrated Semantics of Use Case and Design Models SP - 1 AV - none EP - 5 T2 - The 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS/Doctoral Symposium) ER -