コメント: Mapping from OCL/UML metamodel to PVS metamodel

保存先:

書誌詳細
第一著者:	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/
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

このレコードへの初めてのコメントを付けませんか!