Your search for 52196 returns 125 document(s) |
Rancangan formal sistem pengendali integritas untuk lalulintas pada penempatan jalan berbasis logika proposi |
Author: Maringan Situmeang; | Call Number: T-0364 | Edition: 2002 | Type: Tesis
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Perancangan sistem pelatihan ONLINE pada institusi pendidikan non formal: studi kasus PT. MITRA SOLUSI TEKNOLOGI MANDIRI |
Author: Darmawan B. Napitupulu; | Call Number: PA-0028 (Softcopy PA-0028) | Edition: 2004 | Type: Proyek Akhir (PA)
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal aspects of concurrency control on long-duration transaction systems using the NT/PV model, page 492 |
Author: Korth, Henry F. | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Consistency, standards, and formal approaches to interface development and evaluation: a note on wiecha, bennett boies, gould and greene |
Author: Jonathan Grudin | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal analysis of an authentication protocol for UMTS (Universal Mobile Telecommunications systems) Using AVISPA |
Author: Ilham W. Kurnia; L. Yohanes Stefanus; Ari Saptawijaya | Call Number: Jurnal Ilmu Komputer dan Informasi (JIKI) Vol. 1 No. 2 Juni 2008 | Type: UI-ana Indek Artikel
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Analisis sistem dan spesifikasi requirement menggunakan metode formal pada UML (Studi kasus pada sistem informasi kepegawaian Kab. Ngajuk) |
Author: Dwi Kurnia Basuki; Joko Lianto Buliali; | Call Number: SEM-277 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Formal verification for access control in web information sharing system, (LNCS-Lecture Notes in Computer Science 5576) Hal. 80-89 |
Author: Akihiro Sakai; Yoshiaki Hori; Kouichi Sakurai; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On combining formal and informal verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 376-387 |
Author: Jun Yuan; Jian Shen; Jacob Abraham; Adnan Aziz; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The verus tool: a quantitative approach to the formal verification of real-time systems, (LNCS-Lecture Notes in Computer Science 1254) Hal 452-455 |
Author: Sergio Campos; Edmund Clarke; Marius Minea; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
SG logic - a formal analysis technique for authentication protocols, (LNCS-Lecture Notes in Computer Science 1361) Hal 159-176 |
Author: Sigrid Gurgens; | Call Number: 004.62 Chr s | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|