• A characterisation of reliability tools for Software Defined Networks 

      Lavado, Leticia; Panizo, Laura; Gallardo, María del Mar; Merino, Pedro (Sistedes-Biblioteca digital, 2017)
      Software Defined Network (SDN) is a new paradigm in networking that introduces great flexibility, allowing the dynamic configuration of parts of the network through centralised programming. SDN has been successfully applied ...
    • A Simulation Tool for tccp Programs 

      Gallardo, María del Mar; Lavado, Leticia; Panizo, Laura (2017-07-24)
      The Timed Concurrent Constraint Language tccp is a declarative synchronous concurrent language, particularly suitable for modelling reactive systems. In tccp, agents communicate and synchronise through a global constraint ...