Suggested Topics within your search.
Showing 1 - 20 results of 27 for search '"Verification"', query time: 0.19s Refine Results
1
Heuristic-guided abstraction refinement /
Subjects: “...Verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
2
Building a Blockchain-Based Credential Verification System
by Mai, The Son, Huynh, Thai Khiem
Published 2025
Subjects: “...Credential Verification System...”
Institutions: Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng
Get full text
Save to List
Saved in:
3
Applied formal verification
by Perry, Douglas L.
Published 2005
Subjects: “...Verification,Testing...”
Institutions: Trung tâm Học liệu Trường Đại học Cần Thơ
Save to List
Saved in:
4
Building a Supply-demand Connection Website Integrated with AI for Agricultural Product Data Verification
by Bui, Quoc Dat, Nguyen, Ba Hai
Published 2026
Subjects: “...Agricultural Product Data Verification...”
Institutions: Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng
Get full text
Save to List
Saved in:
5
Run-time security traceability for evolving systems /
Subjects: “...Formal verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
6
BERT-Based Model for Vietnamese Fact Verification Dataset
Subjects: “...Vietnamese Fact Verification Dataset...”
Institutions: Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng
Get full text
Get full text
Save to List
Saved in:
7
Assessment of CFD codes used in nuclear reactor safety simulations /
Subjects: “...Verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
8
A secure key establishment protocol for zigbee wireless sensor networks /
Subjects: “...Protocol verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
9
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Published 2001
Subjects: “...Computer software Verification Congresses....”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
10
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Subjects: “...Verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
11
Counterfeit Integrated Circuits: Detection and Avoidance
Subjects: “...Verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
12
Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving
Subjects: “...Formal hardware verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
13
Closing a system in the dynamic input/output automata model /
Subjects: “...Verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
14
Software testing
by Hambling, Brian
Published 2009
Subjects: “...Software testing & verification; Tin học Kỹ thuật phần mềm...”
Institutions: Trung tâm Học liệu Trường Đại học Thủ Dầu Một
Get full text
Save to List
Saved in:
15
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Subjects: “...Verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Get full text
Save to List
Saved in:
16
"3+3 process" for safety critical software for I&C system in nuclear power plants /
Subjects: “...Verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
17
Verification and validation for quality of UML 2.0 models
by Unhelkar, Bhuvan
Published 2005
Subjects: “...Verification,Quality control...”
Institutions: Trung tâm Học liệu Trường Đại học Cần Thơ
Save to List
Saved in:
18
Towards a Model for Integrating Process Verification in Process-Driven Application Development
Subjects: “...process Verification...”
Institutions: Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng
Get full text
Save to List
Saved in:
19
An Automated student attendance system based on Face Recognition
by Mai, Lam, Vo, Hung Cuong
Published 2018
Subjects: “...verification...”
Institutions: Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng
Get full text
Save to List
Saved in:
20
AEGIS : An advanced lattice physics code for light water reactor analyses /
Subjects: “...Verification...”
Institutions: Thư viện Trường Đại học Đà Lạt
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search