软硬件协同设计是嵌入式系统设计的一种方法,形式化分析和验证方法作为软硬件协同设计方法的重要部分得到了广泛的研究和应用.作为......

自20世纪80年代以来，在哲学、计算机科学、人工智能、语言学等诸多领域的推动下，时态逻辑取得了新的发展。主要表现为区间时态逻辑、......

ISDTM, based on an augmented Allen's interval temporal logic (IT1) and first-order predicate calculus, is a formal t......

据报道．不久前研制了适应于过程按时间展开的编程语言。这些语言中使用的逻辑和操作．构成表示不同对象行为动态的基础。指出，这些语言......

回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......