机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:互甲酰乙烯基阴离子等同物拦截纳溴氧基氧中间体,以进入正式的Morita-Baylis-Hillman烷基化产品
机译:将抑制性Petri网正式转化为等效性而不是抑制性
机译:形式系统L〜*的等价形式
机译:建立教学单元,将对等和加法的非正式和正式数学知识联系起来。
机译:IV。临床咨询系统医疗决策支持系统和临床研究数据库:A.医疗决策支持和人工智能方法:信息系统中嵌入的临床决策支持形式规则的自动化
机译:使用PVS形式逻辑系统在信息安全系统建设中的正式安全性证明方法中