Verifying Semantic Conformance of State Machine-to-Java Code Generators

First Author: Ab Rahim L

Attributed to: Pathways to Impact Awards : Lancaster University funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-16145-2_12

Publication URI: http://dx.doi.org/10.1007/978-3-642-16145-2_12

Type: Book Chapter

Book Title: Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I (2010)

Page Reference: 166-180

ISBN: 978-3-642-16144-5