Your search for 38951 returns 3175 document(s) |
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
|
Specification and validation of a security policy model, (LNCS-Lecture Notes in Computer Science 670) Hal 42-51 |
Author: Tony Boswell; | 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
|
Symbolic Model checking for distributed real-time systems,(LNCS-Lecture Notes in Computer Science 670) Hal 632-651 |
Author: Farn Wang; Aloysius Mok; E. Allen Emerson; | 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
|
An EVES data abstraction example, (LNCS-Lecture Notes in Computer Science 670) Hal 578-596 |
Author: Mark Saaltink; Sentot Kromodimoeljo; Bill Pase; Dan Craigen; Irwin Meisels; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Maintaining consistency under changes to formal specifications, (LNCS-Lecture Notes in Computer Science 670) Hal 558-577 |
Author: Kelvin J. Ross; Peter A. Lindsay; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The SAZ Project: Integrating SSADM and Z, (LNCS-Lecture Notes in Computer Science 670) Hal 541-557 |
Author: Fiona Polack; Mark Whiston; Keith Mander; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|