| Your search for 36734 returns 1321 document(s) |
| 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
|
| Logic in Computer Science: An Automata-Theoretic Approach to Branching-Time Model Checking |
|
Author: O. Kupferman, [et all] | 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
|
| 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
|
| On lazy randomized incremental construction,hal 105-114 |
|
Author: Mark de berg; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On complexity as bounded rationality,Hal 726-733 |
|
Author: Christos H.Papadimitriou; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result