...
机译:逐线:可靠医疗系统正式技术的实践考虑因素
School of Computing Newcastle University Newcastle upon Tyne NE1 7RU United Kingdom of Great Britain and Northern Ireland;
Transplant Regenerative Medicine Facility Institute of Cellular Medicine Newcastle University NHSBT Newcastle Blood Donor Centre Holland Dr Newcastle NE2 4NQ United Kingdom of Great Britain and Northern Ireland;
Electrical and Electronic Engineering School of Engineering Newcastle University United Kingdom of Great Britain and Northern Ireland;
Medical devices; Automation; Formal methods; Certification;
机译:将基于模型的故障检测技术成功应用于飞机系统的实际设计考虑
机译:引发和建模系统可靠性要求的实用框架:来自NASA高可靠性计算项目的经验
机译:软件密集型系统需求建模的形式化和半形式化语言和技术的系统识别
机译:一种可靠的系统需求验证和验证的实用形式方法
机译:开发LLVM的窥孔优化的实用形式技术和工具
机译:IV。临床咨询系统医疗决策支持系统和临床研究数据库:A.医疗决策支持和人工智能方法论:形式语言理论在医疗决策中的运用
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术