Now showing items 1-1 of 1

    • Modelado, prueba y verificación de sistemas distribuidos usando RTDS e IFX 

      Girón Ruiz, Juan Pablo; Ingeniero Electrónico; jpgironruiz@gmail.com (Pontificia Universidad JaverianaIngenieríaIngeniería Electrónica, 2014)
      One of the contemporary biggest challenges when designing Hardware/Software systems is guaranteeing that they are free of defects. The use of formal techniques like Model Checking allows ensuring that systems satisfy a ...