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.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
应用推荐