zbMATH中的参考文献(参考文献第2条)

显示结果1到2,共2个。
按年份排序(引用)

  1. 格罗斯,亚历克斯;哈维伦德,克劳斯;霍尔兹曼,杰拉德;乔希,拉吉耶夫;徐汝刚:《建立飞行软件可靠性:测试、模型检验、约束求解、监控与学习》(2014)
  2. 惠特尔,乔恩;关,理查德;Jyoti Saboo:从场景到代码:空中交通管制案例研究(2005)ioport公司