| Your search for 20519 returns 5714 document(s) |
| The invariant checker: automated deductive verification of reactive systems, (LNCS-Lecture Notes in Computer Science 1254)Hal. 436-443 |
|
Author: Hassen Saidi; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Verification of hybrid systems using abstraction ((LNCS-Lecture Notes in Computer Science 999), Hal. 359-390 |
|
Author: Anuj Puri and Pravin Varniya; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the automatic verification of systems with continous variables and unbounded discrete data structures, (LNCS-Lecture Notes in Computer Science 999) |
|
Author: Ahmed BBouajjani; Rachid Echahed; Riadh Robbana; | Call Number: 005.369 Ant h | Type: Indeks Artikel LNCS
|
|
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
|
| New Methods and Tool for the Development and Verification of Safety Functions during Development of Pedestrian Detection Systems (434-438) |
|
Author: Hadj Hamma Tadjine
Karsten Schulze
Rene Roelling
Herold Daniel; | Call Number: SEM-314 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Evaluation of remote backup algorithms for transaction processing systems (hal 246 - 255) |
|
Author: Christos A.Polyzois, Hector Garcia-Molina; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Systems development, requirement evaluation, design, and implementation/Eleanor W. Jordon |
|
Author: Jordan, Fleanor W.; | Call Number: 003 Jor s | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Reliable computer systems: design and evaluation/Daniel P. Siewiorek, Robert S. Swartz |
|
Author: Siewiorek, Danil P.; | Call Number: 004 Sie r | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Evaluation and optimization of electroral systems/Pietro Crillidi cortona ...[et.al] |
|
Call Number: 324.6 Eva | Type: Buku
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result