Reasoning about real-time statecharts in the presence of semantic variations

Subash Shankar, Sinan Asa, Vladimir Sipos, Xiaowei Xu. Reasoning about real-time statecharts in the presence of semantic variations. In David F. Redmiles, Thomas Ellman, Andrea Zisman, editors, 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA. pages 243-252, ACM, 2005. [doi]

Authors

Subash Shankar

This author has not been identified. Look up 'Subash Shankar' in Google

Sinan Asa

This author has not been identified. Look up 'Sinan Asa' in Google

Vladimir Sipos

This author has not been identified. Look up 'Vladimir Sipos' in Google

Xiaowei Xu

This author has not been identified. Look up 'Xiaowei Xu' in Google