2008 | ||
---|---|---|
2 | EE | Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin: A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets. SEFM 2008: 259-267 |
1 | EE | Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet-Ha Nguyen, Nguyen Thi Thu Trang, Pham Dinh Hung: Checking Interface Interaction Protocols Using Aspect-Oriented Programming. SEFM 2008: 382-386 |
1 | Wei-Ngan Chin | [2] |
2 | Dang Van Hung | [1] |
3 | Pham Dinh Hung | [1] |
4 | Viet-Ha Nguyen | [1] |
5 | Tuan-Hung Pham | [2] |
6 | Nguyen Thi Thu Trang | [1] |
7 | Thanh-Binh Trinh | [1] |
8 | Ninh-Thuan Truong | [2] |