Safe and secure COncurrent programming for adVancEd aRchiTectures (COVERT)

安全可靠的高级架构并发编程 (COVERT)

• 批准号: EP/X015076/1
• 负责人: Mark Batty
• 金额: $ 47.74万
• 依托单位: University of Kent
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2023
• 资助国家: 英国
• 起止时间: 2023 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FX015076%2F1
• 关键词: Safe; secure; COncurrent; programming; adVancEd

Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.

目前，所有资助研究的摘要都不能在GTR中找到。这通常是因为在提交提案时并不需要摘要，但可能是因为它包含了个人详细信息等敏感信息。