A Semantic Unit for Timed Automata Based Modeling Languages

Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwahed. A Semantic Unit for Timed Automata Based Modeling Languages. In 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 4-7 April 2006, San Jose, California, USA. pages 347-360, IEEE Computer Society, 2006. [doi]

Authors

Kai Chen 0003

This author has not been identified. Look up 'Kai Chen 0003' in Google

Janos Sztipanovits

This author has not been identified. It may be one of the following persons: Look up 'Janos Sztipanovits' in Google

Sherif Abdelwahed

This author has not been identified. Look up 'Sherif Abdelwahed' in Google