VNU-UET Repository

Items where Author is "Tran, Dinh Duong"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 4.

Tran, Dinh Duong and Ogata, Kazuhiro and Bui, Duy Dang and Gupta, Parth (2020) Lemma Weakening for State Machine Invariant Proofs. In: THE 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE.

Tran, Dinh Duong and Ogata, Kazuhiro (2020) Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG. In: International Conference on Software Engineering and Knowledge Engineering, July 9 to 19, 2020, Wyndham Pittsburgh University Center, Pittsburgh, USA.

Tran, Dinh Duong and Pham, Ngoc Hung and Nguyen, Duy Tung (2018) A Method for Automated User Interface Testing of Windows-based Applications. In: 2018 the 9th International Symposium on Information and Communication Technology (SoICT), 6-7 December 2018, Da Nang City, Viet Nam. (In Press)

Tran, Dinh Duong and Nguyen, Manh Hung and Pham, Ngoc Hung (2018) A method of Automated User Interface Testing for Windows-based Applications. Technical Report. VNU University of Engineering and Technology.

This list was generated on Sun Oct 1 15:32:01 2023 +07.