Chủ đề được đề xuất trong tìm kiếm của bạn.
Đang hiển thị 1 - 20 kết quả của 26 cho tìm kiếm '"Verification"', thời gian truy vấn: 0.07s Tinh chỉnh kết quả
1
Heuristic-guided abstraction refinement /
Những chủ đề: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
2
Building a Blockchain-Based Credential Verification System
Bỡi Mai, The Son, Huynh, Thai Khiem
Được phát hành 2025
Những chủ đề: “...Credential Verification System...”
Thư viện lưu trữ: 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
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
3
Applied formal verification
Bỡi Perry, Douglas L.
Được phát hành 2005
Những chủ đề: “...Verification,Testing...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Lưu vào danh sách
Đã lưu trong:
4
Run-time security traceability for evolving systems /
Những chủ đề: “...Formal verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
5
BERT-Based Model for Vietnamese Fact Verification Dataset
Những chủ đề: “...Vietnamese Fact Verification Dataset...”
Thư viện lưu trữ: 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
Liên kết dữ liệu
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
6
Assessment of CFD codes used in nuclear reactor safety simulations /
Bỡi Smith, B.L..
Những chủ đề: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
7
A secure key establishment protocol for zigbee wireless sensor networks /
Những chủ đề: “...Protocol verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
8
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Được phát hành 2001
Những chủ đề: “...Computer software Verification Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
9
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Bỡi Núñez, Manuel, Güdemann, Matthias
Được phát hành 2015
Những chủ đề: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
10
Counterfeit Integrated Circuits: Detection and Avoidance
Bỡi Tehranipoor, Mark, Guin, Ujjwal, Forte, Domenic
Được phát hành 2015
Những chủ đề: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
11
Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving
Những chủ đề: “...Formal hardware verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
12
Closing a system in the dynamic input/output automata model /
Những chủ đề: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
13
Software testing
Bỡi Hambling, Brian
Được phát hành 2009
Những chủ đề: “...Software testing & verification; Tin học Kỹ thuật phần mềm...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Thủ Dầu Một
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
14
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Bỡi D'Souza, Deepak, Lal, Akash, Larsen, Kim Gulstrand
Được phát hành 2015
Những chủ đề: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
15
"3+3 process" for safety critical software for I&C system in nuclear power plants /
Những chủ đề: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
16
Verification and validation for quality of UML 2.0 models
Bỡi Unhelkar, Bhuvan
Được phát hành 2005
Những chủ đề: “...Verification,Quality control...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Lưu vào danh sách
Đã lưu trong:
17
Towards a Model for Integrating Process Verification in Process-Driven Application Development
Bỡi Nguyen, Thanh Tuan, Le, Thanh Nhan, Hoang, Thi Hoang Ha
Được phát hành 2025
Những chủ đề: “...process Verification...”
Thư viện lưu trữ: 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
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
18
An Automated student attendance system based on Face Recognition
Bỡi Mai, Lam, Vo, Hung Cuong
Được phát hành 2018
Những chủ đề: “...verification...”
Thư viện lưu trữ: 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
Liên kết dữ liệu
Lưu vào danh sách
Đã lưu trong:
19
AEGIS : An advanced lattice physics code for light water reactor analyses /
Những chủ đề: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
20
Verification of PLC programs written in FBD with VIS /
Những chủ đề: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm