Tai Nguyen So - Vietnam National University, Ha Noi - VNU >
Browsing by Author Nguyen, V.-H.
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) | 2009 | Analyzing RBAC security policy of implementation using AST | Pham, T.-H.; Truong, N.-T.; Nguyen, V.-H. |
2009 | Checking protocol conformance in component models using aspect oriented programming | Trinh, T.-B.; Truong, A.-H.,; Nguyen, V.-H. |
2009 | Coordinated consensus analysis of multi-agent systems using event-B | Truong, N.-T.; Trinh, T.-B.; Nguyen, V.-H. |
Showing results 1 to 3 of 3
|