Towards Verified Java Code Generation from Concurrent State Machines - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dan Zhang, Dragan Bosnacki, Mark van den Brand, Luc Engelen, Cornelis Huizing, Ruurd Kuiper, Anton Wijs. Towards Verified Java Code Generation from Concurrent State Machines. In Jürgen Dingel, Juan de Lara, Levi Lucio, Hans Vangheluwe, editors, Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014. Volume 1277 of CEUR Workshop Proceedings, pages 64-69, CEUR-WS.org, 2014. [doi]

This author has not been identified. Look up 'Dan Zhang' in GoogleThis author has not been identified. Look up 'Dragan Bosnacki' in GoogleThis author has not been identified. It may be one of the following persons:

Mark G. J. van den Brand

Look up 'Mark van den Brand' in GoogleThis author has not been identified. Look up 'Luc Engelen' in GoogleThis author has not been identified. Look up 'Cornelis Huizing' in GoogleThis author has not been identified. Look up 'Ruurd Kuiper' in GoogleThis author has not been identified. Look up 'Anton Wijs' in Google

runs on WebDSL