%0 Conference Paper %A Dang, Duc Hanh %B The 10th International Conference on Model-Driven Engineering Languages and Systems (MoDELS/Doctoral Symposium) %D 2007 %F SisLab:1968 %I CEUR-WS.org %P 1-5 %T Validation of System Behavior from an Integrated Semantics of Use Case and Design Models %U https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1968/ %V 262