Ähnliche Schlagwörter innerhalb Ihrer Suche.
Treffer 1 - 20 von 26 für Suche '"Verification"', Suchdauer: 0,12s Treffer weiter einschränken
1
Heuristic-guided abstraction refinement /
Schlagworte: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
2
Building a Blockchain-Based Credential Verification System
von Mai, The Son, Huynh, Thai Khiem
Veröffentlicht 2025
Schlagworte: “...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
Volltext
Zu den Favoriten
Gespeichert in:
3
Applied formal verification
von Perry, Douglas L.
Veröffentlicht 2005
Schlagworte: “...Verification,Testing...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Zu den Favoriten
Gespeichert in:
4
Run-time security traceability for evolving systems /
Schlagworte: “...Formal verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
5
BERT-Based Model for Vietnamese Fact Verification Dataset
Schlagworte: “...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
Volltext
Volltext
Zu den Favoriten
Gespeichert in:
6
Assessment of CFD codes used in nuclear reactor safety simulations /
Schlagworte: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
7
A secure key establishment protocol for zigbee wireless sensor networks /
Schlagworte: “...Protocol verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
8
Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : proceedings /
Veröffentlicht 2001
Schlagworte: “...Computer software Verification Congresses....”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
9
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
von Núñez, Manuel, Güdemann, Matthias
Veröffentlicht 2015
Schlagworte: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
10
Counterfeit Integrated Circuits: Detection and Avoidance
von Tehranipoor, Mark, Guin, Ujjwal, Forte, Domenic
Veröffentlicht 2015
Schlagworte: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
11
Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL / Theorem proving
Schlagworte: “...Formal hardware verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
12
Closing a system in the dynamic input/output automata model /
Schlagworte: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
13
Software testing
von Hambling, Brian
Veröffentlicht 2009
Schlagworte: “...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
Volltext
Zu den Favoriten
Gespeichert in:
14
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings
von D'Souza, Deepak, Lal, Akash, Larsen, Kim Gulstrand
Veröffentlicht 2015
Schlagworte: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Volltext
Zu den Favoriten
Gespeichert in:
15
"3+3 process" for safety critical software for I&C system in nuclear power plants /
Schlagworte: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
16
Verification and validation for quality of UML 2.0 models
von Unhelkar, Bhuvan
Veröffentlicht 2005
Schlagworte: “...Verification,Quality control...”
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ
Zu den Favoriten
Gespeichert in:
17
Towards a Model for Integrating Process Verification in Process-Driven Application Development
Schlagworte: “...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
Volltext
Zu den Favoriten
Gespeichert in:
18
An Automated student attendance system based on Face Recognition
von Mai, Lam, Vo, Hung Cuong
Veröffentlicht 2018
Schlagworte: “...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
Volltext
Zu den Favoriten
Gespeichert in:
19
AEGIS : An advanced lattice physics code for light water reactor analyses /
Schlagworte: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
20
Verification of PLC programs written in FBD with VIS /
Schlagworte: “...Verification...”
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern