...wide spectrum language, real-time systems, object orientation, Interval Temporal Logic. 1. INTRODUCTIO[gap=384]关键词：形式化方法，重新设计，广泛的语言，实时系统，面向对象，区间时序逻辑。 1。
基于1个网页-相关网页
广谱语言
wide spectrum language
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动