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: | , , , |
|---|---|
| 格式: | Conference or Workshop Item PeerReviewed |
| 語言: | English |
| 出版: |
2013
|
| 主題: | |
| 在線閱讀: | https://repository.ugm.ac.id/35110/1/SWPW-FTRA-AIM-13.pdf https://repository.ugm.ac.id/35110/ |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Universitas Gadjah Mada |
| 語言: | English |