Browsing Facultad de Ciencias Exactas, Ingeniería y Agrimensura (FCEIA) by Subject "verificación formal"

DSpace/Manakin Repository

Browsing Facultad de Ciencias Exactas, Ingeniería y Agrimensura (FCEIA) by Subject "verificación formal"

Sort by: Order: Results:

  • Romano, Agustín Vicente (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2014-08-22)
    En los últimos años se ha observado un marcado incremento en el número de dispositivos móviles que tienen a Android como sistema operativo, por lo que una falla en la seguridad de dicha plataforma afectaría una gran cantidad ...
  • Vanzetto, Hernán P. (Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2010-06-18)
    TLA+ es un lenguaje para especificar sistemas distribuidos y concurrentes. Está basado en una lógica clásica de primer orden no-tipada y en una variante de la teoría de conjuntos estándar ZF, más una pequeña parte de lógica ...

My Account


Search DSpace


Browse