D. Muthiayen, V.S. Alagar, F. Khendek, A. Sefidcon, "An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems," 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp. 491, Seventh International Conference on Real-Time Computing Systems and Applications (RTCSA'00), 2000.

@article{ 10.1109/RTCSA.2000.896432,
author = {D. Muthiayen and V.S. Alagar and F. Khendek and A. Sefidcon},
title = {An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems},
journal ={2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications},
volume = {0},
year = {2000},
issn = {1533-2306},
pages = {491},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.896432},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
TI - An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems
SN - 1533-2306
SP
EP
A1 - D. Muthiayen,
A1 - V.S. Alagar,
A1 - F. Khendek,
A1 - A. Sefidcon,
PY - 2000
KW - real-time systems; specification languages; object-oriented programming; program verification; program interpreters; visual description techniques; formal description techniques; real time reactive systems development; abstraction levels; UML; unified notation; object based systems; SDL; design analysis; large scale applications; user level modeling; implementation level; object oriented notation; Timed Reactive Object Model; TROM; semantic basis; real time reactive systems; mechanical translations
VL - 0
JA - 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
ER -