| Your search for 45239 returns 3917 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
|
| 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
|
| Design DDoS Attack Detector using NTOPNG (139-144) |
|
Author: Grafika Jati
Budi Hartadi
akmal Gafar Putra
Fahri Nurul
M. Riza Iqbal
Setiadi Yazid; | Call Number: SEM-340 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Scaling up uppaal automatic verification of real-time systems using compositionality and abstraction, (LNCS-Lecture Notes in Computer Science 1926) Hal 19-30 |
|
Author: Henrik Ejersbo Jensen; Kim Guldstrand Larsen; Arne Skou; | Call Number: 004.33 Jos f | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-Time software for control |
|
Author: Auslander, David M.; | Call Number: 629.895 Aus r | Type: Buku Pusat
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Advances in real-time systems |
|
Call Number: 004.33 Adv | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems |
|
Author: Krishna, C.M.; | Call Number: 004.33 Kri r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real time systems |
|
Author: Nissanke, Nimal; | Call Number: 004.33 Nis r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Using Freeware for Collaborative Service Delivery in Higher Education - A Case Study Analysis |
|
Author: Doreen Nielsen , Yazrina Yahya , Anthony White , Li Zhou; | Call Number: SEM-368 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Real-time systems: management and design |
|
Author: Tebbs, David; | Call Number: 004.33 Teb r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result