Your search for 3905 returns 3929 document(s) |
Implementasi algoritma adaptive random testing dengan pendekatan berorientasi objek dan perbandingannya dengan basic random testing |
Author: Reffynda Esna Putri; | Call Number: SK-0840 (Softcopy SK-322) Source code SK-284 | Type: Skripsi
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Proof Linking: Modular Verification of Mobile Programs in the Presence of Lazy, Dynamic Linking, page 379-409 |
Author: Philip W. L. Fong, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
SMC: A Symmetry-Based Model Checker for Verification of Safety and Liveness Properties, page 133-166 |
Author: A. Prasad Sistla, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Adaptive local thresholding by verification-based multithreshold probing with application to vessel detection in retinal images, page 131 |
Author: X. Jiang | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Fingerprint verification system based on triangular matching and dynamic time warping, page 1266 |
Author: Z.M. Kovacs | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Range-based localization with area verification for sparse distributed wireless sensor networks, 43-46 |
Author: Ali Husein Alasiry, Shinji Ohyama; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal verification for access control in web information sharing system, (LNCS-Lecture Notes in Computer Science 5576) Hal. 80-89 |
Author: Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Application of 2D barcode in hardcopy document verification system,(LNCS-Lecture Notes in Computer Science 5576) Hal 644-651 |
Author: Mazleena Salleh; Teoh Chin Yew; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Random stimuli generation for functional hardware verification as a CP application, (LNCS-Lecture Notes in Computer Science 3709) Hal 882 |
Author: Yehuda Naveh, Roy Emek; | Call Number: 005.133 Bee P | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Challenges in the verification of electronic control units, (LNCS-Lecture Notes in Computer Science 1926) Hal 18 |
Author: Werner Damm; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|