对空中交通管理系统的软件需求进行正式建模和分析，以提高完整性保证-猫眼课题宝

对空中交通管理系统的软件需求进行正式建模和分析，以提高完整性保证

批准号：

LP130100201

负责人：

Prof John Grundy

金额：

$13.51万

依托单位：

Deakin University

依托单位国家：

澳大利亚

项目类别：

Linkage Projects

财政年份：

2013

资助国家：

澳大利亚

项目状态：

已结题

起止时间：

2013-09-05 至 2018-02-05

来源：

https://dataportal.arc.gov.au/RGS/Web/Grants/LP130100201

关键词：

Formal modelling analysis software requirements

项目摘要

项目成果

Prof John Grundy的其他基金

相似基金

相关文献

中文摘要

翻译

点击翻译按钮获取中文摘要

英文摘要

This project will significantly reduce the time and cost of developing software for critical applications such as aviation and air traffic management. As well as improving the trustworthiness of safety-critical computer-based systems, this project will also enable system improvements to be deployed faster and more reliably.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文