PVS metamodel

Ab Rahim, Lukman (2009) PVS metamodel. In: Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems.

[img] PDF
Restricted to Registered users only


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

Document Downloads

More statistics for this item...