实时售票系统相关硕士博士期刊学术论文 - 搜论网

实时售票系统相关论文

一种基于时序逻辑语言的实时售票系统描述与精化方法

时序逻辑语言XYZ／E在统一的形式框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。分析了邮政汽......

期刊

分布式实时系统时序逻辑语言 XYZ/E 实时售票系统描述精化 distributed real-time system temporal logic

看过本文同时还关注