A Scheme of Construct Association from PROMELA to Java
PROMELA is one of the most widely used modeling languages to model concurrent and reactive systems. Although model checking can be veru useful, once PROMELA model has been generated it is still necessary to write the application manually by hand. In accordance with the features of language, Java is...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Conference or Workshop Item PeerReviewed |
| Language: | English |
| Published: |
2013
|
| Subjects: | |
| Online Access: | https://repository.ugm.ac.id/35110/1/SWPW-FTRA-AIM-13.pdf https://repository.ugm.ac.id/35110/ |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Universitas Gadjah Mada |
| Language: | English |