PVS metamodel

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

PDF
pvs-metamodel.pdf
Restricted to Registered users only
Download (389kB)

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
Depositing User:	Lukman A Rahim
Date Deposited:	12 Sep 2012 01:13
Last Modified:	19 Jan 2017 08:25
URI:	http://scholars.utp.edu.my/id/eprint/8044

Actions (login required)

: View Item