您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

  1. UMC_B_Translator:属于KandISTI项目的一部分,此代码包含由Franco Mazzanti设计和开发的UML解析器以及一个主文件,该文件包含一系列将UMC模型(txt文件)转换为ProB模型(mch文件)的过程。-源码

  2. UMC_ProB_Translator 此代码是KandISTI项目的一部分,包含由Franco Mazzanti设计和开发的UML解析器以及一个主文件,该文件包含一系列将UMC模型(txt文件)转换为ProB模型(mch文件)的过程。
  3. 所属分类:其它

    • 发布日期:2021-02-09
    • 文件大小:379904
    • 提供者:weixin_42126668