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