...
机译:一种通用的,基于语言的形式化方法,用于层次布局规划
机译:需求可追溯性问题:通用模型,方法论和正式基础
机译:一种基于开放式计算语言的并联概念分析的基于开放计算语言的并联校准分析
机译:基于语言的并发非干扰的形式验证
机译:分层调度系统组成分析的通用形式框架
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:基于形式语言的生物学方法
机译:通用分层互斥算法的形式验证
机译:使用EHDm(增强型分层设计方法)和RsRE(皇家信号和雷达建立)验证方法的硬件证明