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.

PDF
Restricted to Registered users only
253Kb

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...

UTP Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Disclaimer - Universiti Teknologi PETRONAS shall not be liable for any loss or damage caused by the usage of any information obtained from this web site.Best viewed using Mozilla Firefox 3 or IE 7 with resolution 1024 x 768.