Current position: Home >> Scientific Research >> Patents

ETSTM模型验证工具系统v1.0

Release Time:2022-10-20  Hits:

First Author: 侯刚

Disigner of the Invention: 迟宗正,王洁

Institution: 软件学院

Application Number: 2016SR229690

Prev One:基于XML中间模型安全检测规则库的建立方法

Next One:TPC-E自动化测试软件TPC-E Monitor v1.0