| Your search for 21597 returns 3098 document(s) |
| 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
|
| 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 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
|
| 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
|
| PERSISTENCE FOR A CONCURRENT ACTOR SYSTEM |
|
Author: Annie Marcoux, Christiane Massoutié, Christine Maurel & Patrick Sallé; | Call Number: SEM-213 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Concurrent euclid the unix system and tunis |
|
Author: Holt, R.C.; | Call Number: 005.43 Hol c | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: Ringdis-014 | Type: Ringkasan Disertasi
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Modular and compositional verification for imperative programs and concurrent systems ( verifikasi yang modular dan komposisional untuk program imperatif dan sistem konkuren) |
|
Author: Ade Azurat; | Call Number: DIS-014 (Softcopy DIS-006) | Type: Disertasi
|
|
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
|
| 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
|
Search Result