Browsing Trabajos finales de carrera de postgrado by Subject "MÉTODOS FORMALES"

Sort by: Order: Results:

  • Damonte Callorda, Pablo Gabriel (Universidad ORT Uruguay, 2015)
    Los sistemas de tiempo real, en general, requieren que su funcionamiento carezca de fallas. En el caso de los controladores de marcapasos, esto resulta de vital importancia. En el marco del desafío propuesto por el fabricante ...