Verifying Semantic Conformance of State Machine-to-Java Code Generators
Saved in:
Main Authors: | , |
---|---|
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 |