VNU-UET Repository: No conditions. Results ordered -Date Deposited.
https://eprints.uet.vnu.edu.vn/eprints/
1. This is a multi-institution subject-based repository.
2. Subject Specialities:
(a) Multidisciplinary
(b) Science General
(c) Mathematics and Statistics
(d) Physics and Astronomy
(e) Technology General
(f) Computers and IT
(g) Electrical and Electronic Engineering
(h) Mechanical Engineering and Materials
3. The repository is restricted to:
(a) Journal articles
(b) Bibliographic references
(c) Conference and workshop papers
(d) Theses and dissertations
(e) Unpublished reports and working papers
(f) Books, chapters and sections
(g) Multimedia and audio-visual materials
(h) Software
(i) Patents
(j) Other special item types
4. Deposited items may include:
(a) working drafts
(b) submitted versions (as sent to journals for peer-review)
(c) accepted versions (author's final peer-reviewed drafts)
(d) published versions (publisher-created files)
5. Items are individually tagged with:
(a) their version type and date.
(b) their peer-review status.
(c) their publication status.
6. Principal Languages: English; Vietnamese; French
Fri, 29 Mar 2024 07:48:13 +0700Fri, 29 Mar 2024 07:48:13 +0700en On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2041/
Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama (2012) On Optimization of Minimized Assumption Generation Method for Component-Based Software Verification. IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer, 95-A (9). pp. 1451-1460. ISSN 0916-8508 A Minimized Assumption Generation Method for Component-Based Software Verification
https://eprints.uet.vnu.edu.vn/eprints/id/eprint/2039/
Pham, Ngoc Hung and Nguyen, Viet Ha and Toshiaki, Aoki and Takuya, Katayama (2010) A Minimized Assumption Generation Method for Component-Based Software Verification. IEICE Transactions on Information and Systems, E93-D (8). pp. 2172-2181. ISSN 0916-8532