UNDAV Digital

ListarProducción científica y tecnológica por tema "Requirements/Specifications"

ListarProducción científica y tecnológica por tema "Requirements/Specifications"

Ordenar por:Orden:Resultados:

  • Asteasuain, Fernando; Tarulla, Francisco (Red de Universidades con Carreras en Informática, 2017)
    In this work we explore the FVS language in the context of architectural behavior model checking. FVS holds desirable characteristics for this particular domain. Its flexible notation enables the possibility of performing ...

Buscar en UNDAV Digital


Listar

Mi cuenta