搜索筛选:
搜索耗时2.5088秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：金旗铭,
来源：苏州大学 年份：2018
...
[期刊论文] 作者：金旗铭,张广泉,
来源：苏州大学学报：工科版 年份：2009
时序逻辑语言XYZ／E在统一的形式框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。分析了邮政汽车票售票系统的实时性，给出了该系统的组件模......
相关搜索：
