The online simulation system software includes of the real-time simulation support software, the system communication software, the simulation program and the simulation interface software.
软件部分主要由实时仿真支撑软件、仿真计算模型软件、系统通讯软件、在线仿真界面软件等组成。
A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.
提出一套利用B方法中经典AMN记号表达时态规约的函数结构方案以支持实时软件系统的规约和验证。
Full-featured software to support real-time quotes, good interface, easy to use.
软件功能全面,支持实时行情,界面优良,使用简单。
应用推荐