Dang Van Hung

发表

Xuandong Li, Dang Van Hung, Tao Zheng, 1997, ASIAN.
Dang Van Hung, Paritosh K. Pandya, P. Pandya, 1998, FTRTFT.
Phan Hong Giang, Dang Van Hung, P. Giang, 1996, FTRTFT.
Dang Van Hung, 1994, Proceedings of the International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN).
Anh-Hoang Truong, Dang Van Hung, Nguyen Trinh Dong, 2011, 2011 Third International Conference on Knowledge and Systems Engineering.
Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung, 2016, ICDCIT.
Dang Van Hung, Bui Vu Anh, 2005, 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).
Víctor A. Braberman, Dang Van Hung, D. Hung, 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
François Siewe, Dang Van Hung, 2001, CHARME.
Michael R. Hansen, Dang Van Hung, D. Hung, 2007, Domain Modeling and the Duration Calculus.
Dang Van Hung, Kim Yong Chun, 2002, Proceedings 26th Annual International Computer Software and Applications.
Mizuhito Ogawa, Dang Van Hung, Nguyen Van Tang, 2006, ASIAN.
Pham Ngoc Hung, Dang Van Hung, Hoang-Viet Tran, 2018, 2018 10th International Conference on Knowledge and Systems Engineering (KSE).
Dang Van Hung, Do Van Chieu, D. Hung, 2010, 2010 Second International Conference on Knowledge and Systems Engineering.
Mizuhito Ogawa, Dang Van Hung, 2004, Lecture Notes in Computer Science.
Francois Siewe, Dang Van Hung, 2000 .
Dang Van Hung, Hung Ledang, 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07).
Antonio Cerone, Padmanabhan Krishnan, Dang Van Hung, 2012, Software & Systems Modeling.
Ekaterina Pavlova, Dang Van Hung, 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).
Luís Soares Barbosa, Nuno F. Rodrigues, Dang Van Hung, 2003 .
Dang Van Hung, Pham Hong Thai, 2007, Software Engineering Research and Practice.
Dang Van Hung, Ko Kwang Il, D. Hung, 1996 .
Dang Van Hung, Hong Ki Thae, D. Hung, 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.
Song Han, Dang Van Hung, Choe Changil, 2012, ArXiv.
Yang Liu, Zhenbang Chen, Anders P. Ravn, 2007, CoCoME.
Dang Van Hung, D. Hung, 1998, Proceedings 1998 International Conference on Application of Concurrency to System Design.
Ji Wang, Dang Van Hung, D. Hung, 1996, FSTTCS.
Elöd Knuth, Dang Van Hung, 1989, Theor. Comput. Sci..
Wang Yi, Jifeng He, Geguang Pu, 2005, Formal Aspects of Computing.
Jianhua Zhao, Dang Van Hung, 2008, Journal of Computer Science and Technology.
Yong Li, Dang Van Hung, 2008, Journal of Computer Science and Technology.
Dang Van Hung, Ho Van Huong, 2004, Databases and Applications.
Dang Van Hung, Choe Changil, C. Changil, 2008, TTSS.
Dimitar P. Guelev, Dang Van Hung, D. Hung, 2005, Theor. Comput. Sci..
Dimitar P. Guelev, Dang Van Hung, D. Hung, 2002, Theory and Practice of Timed Systems @ ETAPS.
Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung, 2016, SoMeT.
Viet Ha Nguyen, Anh-Hoang Truong, Dang Van Hung, 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
Chaochen Zhou, Xiaoshan Li, Dang Van Hung, 1995, FCT.
Dang Van Hung, 2007, Formal Methods and Hybrid Real-Time Systems.
Duc-Hanh Dang, Anh-Hoang Truong, Dang Van Hung, 2016, ICTAC.
Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya, 1998, FTRTFT.
Dimitar P. Guelev, Dang Van Hung, 2004, J. Appl. Non Class. Logics.
Xuandong Li, Dang Van Hung, 1996, ASIAN.
Dang Van Hung, 2001, ACSD.
Dang Van Hung, 2005, ICTAC.
Anh-Hoang Truong, Dang Van Hung, 2013, Theories of Programming and Formal Methods.
Dang Van Hung, D. Hung, 2002, 10th Anniversary Colloquium of UNU/IIST.
Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya, 1996 .
Miaomiao Zhang, Zhiming Liu, Dang Van Hung, 2008, ICTAC.
Dang Van Hung, Ko Kwang Il, D. Hung, 1996, Proceedings 1996 Asia-Pacific Software Engineering Conference.
Miaomiao Zhang, Dang Van Hung, Miaomiao Zhang, 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).
Miaomiao Zhang, Dang Van Hung, 2006, Electron. Notes Theor. Comput. Sci..
Deepak Kapur, Dang Van Hung, 2017, Lecture Notes in Computer Science.
Jianhua Zhao, Dang Van Hung, Jianhua Zhao, 1998, FTRTFT.
Dimitar P. Guelev, Dang Van Hung, 2010, Electron. Notes Theor. Comput. Sci..
Chaochen Zhou, Dang Van Hung, D. Hung, 1999, Formal Aspects of Computing.
Dang Van Hung, Pham Hong Thai, 2004, ICTAC.
Dang Van Hung, D. Hung, 1995 .