Now showing items 1-2 of 2

    • Especificación de patrones de diseño en event-B como procesos NTCC 

      Gómez Hernández, Carlos Eduardo; Ingeniero de Sistemas y Computación (Pontificia Universidad JaverianaFacultad de IngenieriaCarrera de Ingeniería de Sistemas y Computación, 2014-06-24)
      Formal methods are important since they specify critical systems. Take for instance a system for assisted surgeries where we expect that each movement controlled by the system corresponds exactly to the doctor’s actions. ...
    • Estrategias de la inteligencia artificial aplicadas al juego del ajedrez 

      Camacho Tamayo, Jaime Guillermo; Navarro Newball, Andrés Adolfo; Ingeniero de Sistemas y Computación (Pontificia Universidad JaverianaFacultad de IngenieríaCarrera de Ingeniería de Sistemas y Computación, 1994)