Browse Research and Tech Reports - Computer Science by Author "Palomino, Miguel"

  • Meseguer, José; Palomino, Miguel; Marti-Oliet, Narciso (2007-08)
    A fruitful approach to the study of state-based systems consists in their mathematical formalization by means of models like Kripke structures. They allow verification of their associated properties using simulations that ...

    application/pdf

    application/pdfPDF (490kB)