- -

Listar por palabra clave "Event-B"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Event-B"

Ordenar por:Orden:Resultados:

  • thumb
    Modelado y verificación de programas Event-B usando Maude 
    Ruiz Pérez, Francisca de Asís (Universitat Politècnica de València, 2016-05-13)
    [ES] La mayoría de herramientas de modelado en Ingeniería del Software carecen de mecanismos de verificación de propiedades basados en métodos formales, aunque existen muchas alternativas que incluyen métodos formales ...