TART: Timed-Automata to Real-Time Java Tool.

Fri, 01 Jan 2010 00:00:00 +0100

Niusha Hakimipour, Paul A. Strooper , Andy J. Wellings:
TART: Timed-Automata to Real-Time Java Tool. SEFM 2010: 299-309