软件名称：[B]环境嵌入式软件验证PreAlpha的_Environment for Embedded Software Verification PreAlpha[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：57.0 KB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

翻译UML序列用该仪器

的嵌入式软件验证环境的建立是能够把Petri网的UML序列图，并验证系统性能与SMV的环境。

该工具可以接收作为输入的UML序列图，并提供了Petri网在三种不同的格式：
·APNN，
·PNML，
·SMV。

要求：

路的神器出山:www.shenqi73.comJava

[url=http://www.sot9.com/soft/99770.html][B]环境嵌入式软件验证PreAlpha的_Environment for Embedded Software Verification PreAlpha[/B][/url]

点这里下载->环境嵌入式软件验证PreAlpha的_Environment for Embedded Software Verification PreAlpha [ 下载地址 ]