Trustie - 确实激发创新

开源项目社区	当前位置 :
www.trustie.net/open_source_projects	主页 > 开源项目社区 > modelcheck-ucm-si-2008-09

modelcheck-ucm-si-2008-09

0	0	196
贡献者	讨论	代码提交

概述

This is a last year proyect from de UCM´s Computational Science School. It Consists in a FrameWork to pragram and use model-checkings.

创建时间：2014-05-11 19:49

标签:

uml

modelchecker

Java

framework

共有 0 个贴子

没有任何数据可供显示