EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Schwartzbach, M.
Home Policy Brochure Browse Search User Area Contact Help

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 Mon May 29 05:36:21 CEST 2017.