机译:一个主动数据库模型,用于对危险物品进行安全检查
机译:一个主动数据库模型,用于对危险物品进行安全检查
机译:在面向对象的主动数据库管理系统中建模的一种技术
机译:自动信息控制系统中面向对象数据库的优化设计:II-面向对象数据库的最佳逻辑结构设计模型和方法
机译:使用符号模型检查检测活动数据库规则的终止
机译:基于状态建模和成分模型检查的软件产品线安全性分析
机译:开发和评估通用数据模型从而可以使用不同的医疗数据库进行主动药物安全性监控
机译:使用符号模型检查检测活动数据库规则的终止
机译:主动数据库中数据库约束的建模