Soggetti all'interno della tua ricerca.
Mostra 1 - 20 risultati di 26 ricerca '"Verification"', tempo di risposta: 0,05s Raffina i risultati
1
Heuristic-guided abstraction refinement /
Soggetti: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
2
Building a Blockchain-Based Credential Verification System
di Mai, The Son, Huynh, Thai Khiem
Pubblicazione 2025
Soggetti: “...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
Testo
Aggiungi alla lista
Salvato in:
3
Applied formal verification
di Perry, Douglas L.
Pubblicazione 2005
Soggetti: “...Verification,Testing...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Aggiungi alla lista
Salvato in:
4
Run-time security traceability for evolving systems /
Soggetti: “...Formal verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
5
BERT-Based Model for Vietnamese Fact Verification Dataset
Soggetti: “...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
Testo
Testo
Aggiungi alla lista
Salvato in:
6
Assessment of CFD codes used in nuclear reactor safety simulations /
Soggetti: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
7
A secure key establishment protocol for zigbee wireless sensor networks /
Soggetti: “...Protocol verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
8
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Pubblicazione 2001
Soggetti: “...Computer software Verification Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
9
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
di Núñez, Manuel, Güdemann, Matthias
Pubblicazione 2015
Soggetti: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
10
Counterfeit Integrated Circuits: Detection and Avoidance
Soggetti: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
11
Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving
Soggetti: “...Formal hardware verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
12
Closing a system in the dynamic input/output automata model /
Soggetti: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
13
Software testing
di Hambling, Brian
Pubblicazione 2009
Soggetti: “...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
Testo
Aggiungi alla lista
Salvato in:
14
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
Soggetti: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
15
"3+3 process" for safety critical software for I&C system in nuclear power plants /
Soggetti: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
16
Verification and validation for quality of UML 2.0 models
di Unhelkar, Bhuvan
Pubblicazione 2005
Soggetti: “...Verification,Quality control...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Aggiungi alla lista
Salvato in:
17
Towards a Model for Integrating Process Verification in Process-Driven Application Development
Soggetti: “...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
Testo
Aggiungi alla lista
Salvato in:
18
An Automated student attendance system based on Face Recognition
di Mai, Lam, Vo, Hung Cuong
Pubblicazione 2018
Soggetti: “...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
Testo
Aggiungi alla lista
Salvato in:
19
AEGIS : An advanced lattice physics code for light water reactor analyses /
Soggetti: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
20
Verification of PLC programs written in FBD with VIS /
Soggetti: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email — Salva la ricerca