- -

Listar por palabra clave "Clock synchronization"

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

Listar por palabra clave "Clock synchronization"

Ordenar por:Orden:Resultados:

  • thumb
    AMC - Tool support for automating Model Checking Lifecycle 
    López Pons, Luis Enrique (Universitat Politècnica de València, 2013-04-29)
    In model checking, the most time consuming stage is oftentimes not writing the formal model (of the system to be analyzed) itself but validating the model: ensuring the correct system has been modeled, before ensuring ...
  • thumb
    Método de sincronización para sistemas distribuidos con seguridad funcional 
    Azketa, E.; Mendialdua, X.; Ibarguren, I.; Solís, A. (Universitat Politècnica de València, 2021-04-06)
    [EN] Time synchronization is a key requirement in several application domains based on real-time distributed systems. Therefore, it is a research area of interest, especially in lines such as the transfer of time and ...