| Your search for 45239 returns 3917 document(s) |
| 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
|
| HYTECH: a model checker for hybrid systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 460-463 |
|
Author: Thomas A. Henzinger; Pei-Hsin Ho; Howard Wong-Toi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| SMC: a symmetry based model checker for verification of liveness properties, (LNCS-Lecture Notes in Computer Science 1254) Hal 464-467 |
|
Author: A. P. Sistla; L. Miliades; V. Gyuris; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Perbaikan BT2SAL translator untuk integrasi model checker dengan trace animator pada paradigma behavior engineering |
|
Author: Ardi; | Call Number: SK-1081 (Softcopy SK-562) Source Code SK-414 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verifikasi sistem pengendali lalu lintas kereta api dengan model checker NUSMV/ Annisa Ihsani |
|
Author: Annisa Ihsani; | Call Number: SK-0795 (Softcopy SK-277) Source code SK-252 | Type: Skripsi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time pattern matching and quasi-real-time construction of suffix trees,Hal 310-325 |
|
Author: S.Rao Kosaraju; | Call Number: SEM-202 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Insider Threats in a Financial Institution: Analysis of Attack-Proneness of Information Systems Applications, page 91-112 |
|
Author: Jingguo Wang, Manish Gupta, and H. Raghav Rao | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Analysis and Design of Distributed Simulation System for Network Attack and defense Training (V1-612 -- V1-616) |
|
Author: Yu Song
Jiong Liu
Haijun Zhou
Rong Zhang
Wei Chen; | Call Number: SEM-334 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Proposing a Decision-Making Model Using Analytical Hierarchy Process and SWOT Analysis for Weee Management (7) |
|
Author: Fabio De Felice
Antonella Petrillo; | Call Number: SEM-311 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Improved fast correlation attack using low rate codes, (LNCS-Lecture Notes in Computer Science 2898), Hal. 67-81 |
|
Author: Havard Molland; Jaohn Erik Mathinasen, Tor Helleseth; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result