机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:准上下文敏感语言的动态编程自动机,作为基于模式识别的实时控制专家系统中推理支持的工具
机译:面向对象编程语言和系统的特殊问题(OOPS 2008)的序言,第23届ACM应用计算研讨会上的特殊专题
机译:计算系统管理的离散控制:支持方法的编程语言
机译:广播通信系统的错误控制:UEP编码方案的整数编程方法和网络编码的确定性方法。
机译:受控词汇表索引编制和医学语言处理。医学语言处理:自然语言超声心动图报告的数据库捕获:统一医学语言系统方法
机译:离散控制的计算机系统管理:一种编程语言支持的方法
机译:离散事件系统的监督控制:超可控和可观察的语言。