Skip recommendations
Mostrando 1 - 3 Resultados de 3 Para Buscar 'Haverkort, Boudewijn', tiempo de consulta: 0.02s Limitar resultados
Herramientas de búsqueda: Suscríbete a esta búsqueda
  1. 1
    Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings /
    Publicado 2016
    Otros Autores:
    Texto Completo
    Electrónico eBook
  2. 2
    Quantitative Evaluation of Systems 12th International Conference, QEST 2015, Madrid, Spain, September 1-3, 2015, Proceedings /
    Publicado 2015
    Otros Autores:
    Texto Completo
    Electrónico eBook
  3. 3
    Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected /
    Publicado 2007
    Otros Autores:
    Texto Completo
    Electrónico eBook