Integrated validation of real-time system models.

Wed, 01 Jan 1997 00:00:00 +0100

Juan C. Dueñas, Alvaro Rendón , Miguel A. de Miguel :
Integrated validation of real-time system models. RTS 1997: 241-248