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.

[img] PDF
Restricted to Registered users only


Item Type:Conference or Workshop Item (Paper)
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Departments / MOR / COE:Departments > Computer Information Sciences
ID Code:8047
Deposited By: Lukman A Rahim
Deposited On:12 Sep 2012 01:13
Last Modified:19 Jan 2017 08:26

Repository Staff Only: item control page

Document Downloads

More statistics for this item...