Ab Rahim, Lukman (2009) PVS metamodel. In: Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems.
![]() |
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