| Your search for 13413 returns 4617 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
|
Search Result