ListarPublicaciones en Congresos, Conferencias y Jornadas por tema "Textual specification"

Mostrando ítems 1-1 de 1

  • Developing RDEVS simulation models from textual specifications 

    Espertino, Clarisa; Blas, Maria Julia; Gonnet, Silvio; 0009-0004-6720-112X; 0000-0001-9629-6763; 0000-0003-3024-4754 (CBSoft 2022 - IV Workshop on Software-Intensive Systems Modeling and Simulation (MSSiS), 2022)
    The Routed DEVS (RDEVS) formalism provides a formalization for routing process simulation. This paper presents the mapping between constrained network models obtained from textual specifications of routing processes and ...