An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.

D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon

Browse the full RTCSA paper archive.