新的Systran技术包括：模块化（Modularity），有限状态技术（Finite State Technology），词典访问（Dictionary Access），声明化（Declarativity）, 隐式转换（Implicit Transfer），交换格式（Exchange Format）, 自...
基于6个网页-相关网页
This paper puts forward a design of software System Framework of the signaling data simulation tester based on the technology of multithreading, finite state machine and dynamic link library.
本文采用多线程、有限状态机和动态链接库技术设计一种信令数据仿真测试仪的软件体系结构。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
应用推荐