Software Verification Research Centre, The University of Queensland, Queensland 4072 Australia;
safety-critical systems; acquisition processes; software safety; defence;
机译:澳大利亚国防部系统工程的能力模型
机译:“澳大利亚国防部:2016-2021年网络电子战战略计划”“ 2016-2021年战略计划”,澳大利亚国防部国防科学与技术网络(DST),网络稳定电子战司(CEWD)
机译:当AI满足国防采购流程和行为时的国防人工智能
机译:改进了澳大利亚国防部对安全至关重要的系统的采购流程
机译:使用特权管理基础结构来支持国防部和加拿大部队内的业务流程。
机译:安全关键型差分GNSS系统的电离层空间解相关与空间天气强度之间的相关性
机译:P051:改进急诊署磋商进程的干预措施:系统审查
机译:三个计划和十个标准评估和改进国防部内的采办项目管理和监督程序