Now showing items 1-1 of 1

    • 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. ...