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

Saved in:
Bibliographic Details
Main Authors: Rahim, Lukman Ab, Whittle, Jon
Format: Conference or Workshop Item
Published: Springer 2010
Subjects:
Online Access:http://eprints.utp.edu.my/7833/
Tags: Add Tag
No Tags, Be the first to tag this record!
id my.utp.eprints.7833
record_format eprints
spelling my.utp.eprints.78332012-09-12T01:13:17Z Verifying Semantic Conformance of State Machine-to-Java Code Generators Rahim, Lukman Ab Whittle, Jon Q Science (General) Springer 2010-10-21 Conference or Workshop Item PeerReviewed Rahim, Lukman Ab and Whittle, Jon (2010) Verifying Semantic Conformance of State Machine-to-Java Code Generators. In: Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Proceedings, Part I. http://eprints.utp.edu.my/7833/
institution Universiti Teknologi Petronas
building UTP Resource Centre
collection Institutional Repository
continent Asia
country Malaysia
content_provider Universiti Teknologi Petronas
content_source UTP Institutional Repository
url_provider http://eprints.utp.edu.my/
topic Q Science (General)
spellingShingle Q Science (General)
Rahim, Lukman Ab
Whittle, Jon
Verifying Semantic Conformance of State Machine-to-Java Code Generators
format Conference or Workshop Item
author Rahim, Lukman Ab
Whittle, Jon
author_facet Rahim, Lukman Ab
Whittle, Jon
author_sort Rahim, Lukman Ab
title Verifying Semantic Conformance of State Machine-to-Java Code Generators
title_short Verifying Semantic Conformance of State Machine-to-Java Code Generators
title_full Verifying Semantic Conformance of State Machine-to-Java Code Generators
title_fullStr Verifying Semantic Conformance of State Machine-to-Java Code Generators
title_full_unstemmed Verifying Semantic Conformance of State Machine-to-Java Code Generators
title_sort verifying semantic conformance of state machine-to-java code generators
publisher Springer
publishDate 2010
url http://eprints.utp.edu.my/7833/
_version_ 1738655606411100160
score 13.214268