Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata

AnnMarie Ericsson, Mikael Berndtsson. Detecting Design Errors in Composite Events for Event Triggered Real-Time Systems Using Timed Automata. In Proceedings of the 2006 IEEE Services Computing Workshops (SCW 2006), 18-22 September 2006, Chicago, Illinois, USA. pages 39-50, IEEE Computer Society, 2006. [doi]

Authors

AnnMarie Ericsson

This author has not been identified. Look up 'AnnMarie Ericsson' in Google

Mikael Berndtsson

This author has not been identified. Look up 'Mikael Berndtsson' in Google