Your search for 38957 returns 3886 document(s) |
CRYPTEX model for E-commercial contract of software source code using secrete sharing scheme, (LNCS-Lecture Notes in Computer Science 5576) Hal 662-671 |
Author: ByungRae Cha; Youngil KIM; | Call Number: 005.8 Adv | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Efficient software implementation of LFSR and boolean function and its application in nonlinear combiner model, (LNCS-Lecture Notes in Computer Science 2576) Hal 387-402 |
Author: Sandeepan Chowdhury; Subhamoy Maitra; | Call Number: 005.8 Zho a | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Multi-Valued Symbolic Model-Checking, page 371-408 |
Author: M. Chechik, [et all] | Type: Indeks Artikel Jurnal
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A Type-Based HFL Model Checking Algorithm (136-155) |
Author: Youkichi Hosoi
Naoki Kobayashi
Takeshi Stukada; | Call Number: SEM-374 | Type: Indeks Artikel prosiding/Sem
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Generalizing abadi & lamport's method to solve a problem posed by a. pnueli, (LNCS-Lecture Notes in Computer Science 670) Hal 294-313 |
Author: Kai Engelhardt; Willem-Paul de Roever; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Experiences from applications of RAISE, (LNCS-Lecture Notes in Computer Science 670) Hal 52-63 |
Author: Bent Dandanell; Jesper Gortz; Jan Storbank Pedersen; Eld Zierau; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Selling formal methods to industry, (LNCS-Lecture Notes in Computer Science 670) Hal 671-678 |
Author: Debora Weber-Wulff; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Adding specification constructors to the refinement calculus, (LNCS-Lecture Notes in Computer Science 670) Hal 652-670 |
Author: Nigel Ward; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Integrating SA/RT with LOTOS, (LNCS-Lecture Notes in Computer Science 670) Hal 617-631 |
Author: Anthony W. van der Vloedt; Kees Bogaards; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Putting advanced reachability analysis techniques together: the ARA tool, (LNCS-Lecture Notes in Computer Science 670) Hal 597-616 |
Author: Antti Valmari; Jukka Kemppainen; Matthew Clegg; Mikko Levanto; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|