Víctor Ferman

• Artículos de revistas (1)
• Tesis (1)

• Artículos de revistas

  • A Model Checker for the Verification of Browser Based Protocols

    Víctor Ferman, Dieter Hunter, Raul Monroy Santana

    Computación y Sistemas (CyS), ISSN 1405-5546, ISSN-e 2007-9737, Vol. 21, Nº. 1, 2017, págs. 101-114

    • Resumen
    • Texto completo
    

• Tesis

  • WebMC: a model checker for the Web

    Víctor Ferman

    Tesis doctoral dirigida por Raúl Monroy (dir. tes.), Dieter Hunter (dir. tes.). Instituto Tecnológico y de Estudios Superiores de Monterrey (2016).

    • Tesis en acceso abierto en: hdl.handle.net
    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.