Princeton University.;
机译:安全隔离区域的设计和验证方法
机译:基于专家知识的自动化设计,验证和测试具有嵌入式设备的安全系统
机译:基于设计科学研究方法的生物识别系统建立智能边境控制
机译:安全和分布式网络物理系统的设计和验证方法
机译:信息流安全系统的设计与验证。
机译:医学计算方法。用于医学成像和图形的计算机:多通道图像通信网络的设计注意事项
机译:一种减少系统集成时间和促进模块化设计验证的系统设计方法
机译:军用密码系统的安全嵌入式系统设计方法。