Current position: Home >> Scientific Research >> Patents

一种基于TMSVL的C语言实时系统运行形式化分析方法

Hits:

Affilication of Author(s):100300

Teaching and Research Group:1103

Patent Coverage:1

Type of Patent:1

Application Number:201410330453

Number of Inventors:6

Service Invention or Not:no

Application Date:2014-07-11

Authorization Date:2017-10-20

Pre One:MSVL中结构体以及结构体指针类型的扩展解释系统及其扩展方法