REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems

Dinko Ivanov, Marin Orlic, Cristina Cerschi Seceleanu, Aneta Vulgarakis. REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems. In Charles Pecheur, Jamie Andrews, Elisabetta Di Nitto, editors, ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. pages 361-362, ACM, 2010. [doi]

Authors

Dinko Ivanov

This author has not been identified. Look up 'Dinko Ivanov' in Google

Marin Orlic

This author has not been identified. Look up 'Marin Orlic' in Google

Cristina Cerschi Seceleanu

This author has not been identified. Look up 'Cristina Cerschi Seceleanu' in Google

Aneta Vulgarakis

This author has not been identified. Look up 'Aneta Vulgarakis' in Google