Search Result Save to File Save as CSV
Your search for 13413 returns 4649 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 
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 
Hyperdocuments as automata: verification of trace based browsing properties, page 1
Author: P. David s. | Type: Indeks Artikel Jurnal
Find Similar |  Add To Favorites |  Detail in New Window 
Temporal verification of research reactive systems: safety
Author: Manna, Zohar; | Call Number: 005.2 Man t | Type: Buku
Find Similar |  Add To Favorites |  Detail in New Window 
Verifying liveness properties of reactive systems ( A tutorial ), (LNCS-Lecture Notes in Computer Science 1201) Hal 1
Author: Amir Pnueli; | Call Number: 004.33 Mal h | Type: Indeks Artikel LNCS
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 
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 
Verfikasi concurrent system dengan model checker SMV
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi concurrent system dengan model checker SMV
Author: Azurat, Ade ; Widjaja, Belawati | Call Number: Pub.Staf PN-0005 | Type: Prosiding Nasional
Find Similar |  Add To Favorites |  Detail in New Window 
Verifikasi cocurrent system dengan model checker SMV, Hal. 347-352
Author: Ade Azurat, Belawati Widjaja; | Call Number: SEM-276 | Type: Indeks Artikel prosiding/Sem
Find Similar |  Add To Favorites |  Detail in New Window 
Prev   1 2 3 4 5 6 7 8 9 10  Next