Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
Number of items: 1. 2000
Gnesi, S. and Latella, D. and Lenzini, G. and Amendola, A. and Abbaneo, C. and Marmo, P.
(2000)
A Formal Specification and Validation of a Control System in Presence of Byzantine Errors.
In: 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2000, 27-31 Mar 2000, Berlin, Germany.
pp. 535-549.
Lecture Notes in Computer Science 1785.
Springer-Verlag.
ISBN 3-540-67282-6
This list was generated on Thu May 24 08:08:08 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||