Ab Rahim, Lukman (2009) PVS metamodel. In: Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems.
![[img]](http://eprints.utp.edu.my/style/images/fileicons/application_pdf.png) |
PDF
Restricted to Registered users only 380Kb |
Official URL: http://dl.acm.org/citation.cfm?id=1553890.1553899
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Uncontrolled Keywords: | metamodel, object constraint language, prototype verification system |
| Subjects: | Q Science > Q Science (General) |
| Departments / MOR / COE: | Departments > Computer Information Sciences |
| ID Code: | 8044 |
| Deposited By: | Lukman A Rahim |
| Deposited On: | 12 Sep 2012 01:13 |
| Last Modified: | 19 Jan 2017 08:25 |
Repository Staff Only: item control page
