机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:形式规范行为要求和对实现映射的要求的计算机辅助发现
机译:根据半正式软件安全要求自动生成的安全机制
机译:年龄相关性黄斑变性中脉络膜毛细血管再生的病理生理机制和方法。
机译:集成的医疗工作站真的对临床医生有帮助吗?-正式的用户评估。
机译:临床医生对病理生理机制的正式代表的要求
机译:正式表示高级亚音速民用运输(asCT)飞行控制系统的要求