Your search for 38955 returns 2580 document(s) |
Towards an implementation-oriented specification of TP protocol in LOTOS, (LNCS-Lecture Notes in Computer Science 670) Hal 93-109 |
Author: Ing Widya; Gert-Jan van der Heijden; | Call Number: 004 Woo f | 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
|
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
|
Process instances in LOTOS simulation, (LNCS-Lecture Notes in Computer Science 670) Hal 521-540 |
Author: Simon Pickin; Yan Yang; Wiet Bouma; Sylvie Simon; Tanja de Groot; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
An industrial experience on LOTOS-based prototyping for switching systems design, (LNCS-Lecture Notes in Computer Science 670) Hal 83-92 |
Author: Gonzalo Leon; Juan C. Yelmo; Carlos Sanchez; F. Javier Carrasco; Juan J. Gil; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
The integration of LOTOS with an object oriented development method, (LNCS-Lecture Notes in Computer Science 670) Hal 73-82 |
Author: Mikael Hedlund; | 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
|
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
|
Applications of modal logic for the specification of real-time systems, (LNCS-Lecture Notes in Computer Science 670) Hal 235-249 |
Author: Liang Chen; Alistair Munro; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|
A metalanguage for the formal requirement specification of reactive systems, (LNCS-Lecture Notes in Computer Science 670) Hal 110-128 |
Author: Egidio Astesiano; Gainna Reggio; | Call Number: 004 Woo f | Type: Indeks Artikel LNCS
|
Find Similar |
Add To Favorites |
Detail in New Window
|