Mapping from OCL/UML metamodel to PVS metamodel

Ab Rahim, Lukman (2008) Mapping from OCL/UML metamodel to PVS metamodel. In: Information Technology, 2008. ITSim 2008. International Symposium on.

[thumbnail of mapping_from_ocl_to_pvs.pdf] PDF
mapping_from_ocl_to_pvs.pdf
Restricted to Registered users only
Download (260kB)
Item Type: Conference or Workshop Item (Paper)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
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:26
URI: http://scholars.utp.edu.my/id/eprint/8047

Actions (login required)

View Item
View Item