Paula Herber, Marcel Pockrandt, Sabine Glesner. STATE - A SystemC to Timed Automata Transformation Engine. In 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS 2015, and 12th IEEE International Conference on Embedded Software and Systems, ICESS 2015, New York, NY, USA, August 24-26, 2015. pages 1074-1077, IEEE, 2015. [doi]
Abstract is missing.