UNDAV Digital

ListarTrabajos presentados a eventos por tema "Behavioral Synthesis"

ListarTrabajos presentados a eventos por tema "Behavioral Synthesis"

Ordenar por:Orden:Resultados:

  • Aspect Oriented Behavioral Synthesis 
    Asteasuain, Fernando; Calonge, Federico; Gamboa, Pablo (Red de Universidades con Carreras en Informática, 2019)
    Modern modularization techniques such as Aspect Orientation require powerful and expressive enough specification languages in order to conceive the development of a system as the combination of the different views it is ...
  • Verification and Behavioral Synthesis of Agent-Based Systems 
    Asteasuain, Fernando; D'Angiolo, Federico; Dubinsky, Manuel; Gamboa, Pablo Daniel (Sociedad Argentina de Informática, 2020)
    In this work we explore the FVS language as a formalism to express, validate and synthesize behavior in the agent-based systems' world. Recent work relates Behavioral Synthesis with agent-based systems, opening the possibility ...

Buscar en UNDAV Digital


Listar

Mi cuenta