EEMCS

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

EEMCS EPrints Service


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

Number of items: 2.

2009

Kuijper, W. and van de Pol, J.C. (2009) Compositional Control Synthesis for Partially Observable Systems. In: CONCUR 2009 - Concurrency Theory, 1-4 Sep 2009, Bologna, Italy. pp. 431-447. Lecture Notes in Computer Science 5710. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-04080-1

2003

Gnesi, S. and Lenzini, G. and Martinelli, F. (2003) Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. In: Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time, Pisa, Italy. pp. 111-126. Electronic Notes in Theoretical Computer Science 99. Elsevier. ISSN 1571-0661

This list was generated on Thu Apr 27 22:08:26 CEST 2017.