| Your search for 52038 returns 2791 document(s) |
| Practical challenges for industrial formal verification tools, (LNCS-Lecture Notes in Computer Science 1254) Hal 1-2 |
|
Author: F. Erich Marschner; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification - applications & case studies, (LNCS-Lecture Notes in Computer Science 1254) Hal 11 |
|
Author: Martin Rowe; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Formal verification for fault-tolerant architectures: some lessons learned, (LNCS-Lecture Notes in Computer Science 670) Hal 482-500 |
|
Author: Sam Owre; John Rushby; Natarajan Shankar; Friedrich von Henke; | Call Number: 004 Woo f | 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 Azis; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Towards a mechanization of cryptographic protocol verification, (LNCS-Lecture Notes in Computer Science 1254) Hal 131-142 |
|
Author: Dominique Bolignano; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Energy consumption analysis of modified AODV routing protocol under random waypoint and reference point group mobility models, hal. 51-55 |
|
Author: Harris Simaremare, Abdusy Syarif, Abdelhafid Abouaissa, Riri Fitri Sari, Pascal Lorenz; | Call Number: SEM 304 | Type: Indeks Artikel prosiding/Sem
|
|
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
|
| Formal verification of digital systems, from ASICs to HW/SW codesign - a pragmatic approach, (LNCS-Lecture Notes in Computer Science 3709) Hal 3-6 |
|
Author: Roger B. Hughes; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Papers from the seventh IFIP international meeting on protocol specification, testing and verification Zurich, May 5-8, 1987/ Harry Rudin; Colin H. West |
|
Call Number: SEM-102 | Type: Prosiding Seminar
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result