机译:专家系统-具有智能行为的程序
机译:编程智能辅导系统的互操作性分析:编程练习的一个方面
机译:可编程系统的安全性(Automatica:A1.105):更快地实施解决方案
机译:智能系统必须能够自动制作程序以确保实用性
机译:在智能辅导系统和可视化编程环境中选择程序跟踪任务的问题。
机译:开发智能编程细胞内电子转移的人口国家决策系统
机译:移动环境中的信息流安全性11部分由MURST项目“抽象解释,类型系统和控制流分析”和“通过抽象解释对程序进行自动认证”提供部分支持。
机译:航空航天系统的可靠性计划和确保可靠性的贝叶斯定理