Your search for 38913 returns 3015 document(s) |
A provably correct embedded verifier for the certification on safety critical software, (LNCS-Lecture Notes in Computer Science 1254) Hal 202-213 |
Author: Alessandro Cimatti; Fausto Giunchiglia; Paolo Pecchiari; Bruno Pietra; Joe Profeta; Dario Romano; Paolo Traverso; Bing Yu; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Specifying a safety-critical control system in Z, (LNCS-Lecture Notes in Computer Science 670) Hal 388-402 |
Author: Jonathan Jacky; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A provably correct embeded verifier for the certification of safety critical software, (LNCS-Lecture Notes in Computer Science 999)Hal. 202-231 |
Author: Alesandro Cimatti; Fausto Giunchiglia; Paolo Peechiari; Bruno Pietra; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On a class of key agreement protocols which cannot be unconditionally secure, (LNCS-Lecture Notes in Computer Science 2576) Hal 133-145 |
Author: Frank Niedermeyer; Werner Schindler; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
On a resynchronization weakness in a class of combiners with memory, (LNCS-Lecture Notes in Computer Science 2576) Hal 164-173 |
Author: Yuri Borissov; Svetla Nikova; Bart Preneel; Joos Vandewalle; | Call Number: 005.8 Sec | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Degree optimized resilleint boolean functions from maiorna-McFarland Class, (LNCS-Lecture Notes in Computer Science 2898), Hal. 93-114 |
Author: Enes Pasalic; | Call Number: 005.82 Cry | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The relative complexity of updates for a class of database views, LNCS-Lecture Notes in Computer Science 2942, Hal. 155-175 |
Author: Stephen J. Hegner; | Call Number: 006.33 Sei f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Exploiting symmetry when verifying transistor-level circuits by symbolic trajectory evaluation, (LNCS-Lecture Notes in Computer Science 1254) Hal 244-255 |
Author: Manish Pandey; Randal E. Bryant; | Call Number: 004 Int c | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Safety high accuracy context-aware matrix (CAM) making based on X.509 proxy certificate, (LNCS-Lecture Notes in Computer Science 5576)Hal 829-837 |
Author: Hoon Ko; Ning Chen; Goreti Marreiros; Carlos Ramos; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The industrial take-up of formal methods in safety-critical and other areas: a perspective, (LNCS-Lecture Notes in Computer Science 670) Hal 183-195 |
Author: Jonathan Bowen; Victoria Stavridou; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|