Integrated validation of real-time system models.

Juan C. Dueas, Alvaro Rendn, Miguel A. de Miguel

Browse the full ECRTS paper archive.