Your search for 38933 returns 4030 document(s) |
Performance Verfication of WLAN IEEE 802.11n under Channel Model D (Hal 135-138) |
Author: Yunda Kumala Nasution , Wahyul Amien Syafei; | Call Number: SEM-367 | Type: Indeks Artikel prosiding/Sem
|
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
|
A Model -Checking Verification Environment for Mobile Processes, page 440-472 |
Author: G. -L. Ferrari, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Software Engineering: Counterexample-Guided Abstraction Refinement for Symbolic Model Checking |
Author: E. Clarke, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Symbolic Model Checking of UML Activity Diagrams, page 1-38 |
Author: R. Eshuis | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Composite Model-Checking: Verification with Type-Specific Symbolic Representations, page 3-50 |
Author: Tevfik Bultan, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
E-process design and assurance using model checking, page 48 |
Author: Wenli Wang | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Using SPIN model checking for transmission control protocol, 33-37 |
Author: Nan Jiang, Zhiqiang Chen; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Effient model checking of network authentication protocol based on SPIN, 100-104 |
Author: Zhi-hua Tan, Da-fang Zang, Li MIAO, Dan Zhao; | Call Number: SEM-347 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|