實物特徵: Mapping from OCL/UML metamodel to PVS metamodel

Saved in:

書目詳細資料
主要作者:	Ab Rahim, Lukman
格式:	Conference or Workshop Item
出版:	2008
主題:	QA75 Electronic computers. Computer science
在線閱讀:	http://eprints.utp.edu.my/8047/1/mapping_from_ocl_to_pvs.pdf http://eprints.utp.edu.my/8047/
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!

實物特徵
無描述.