Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 May 24 05:40:36 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||