Mallory S. Graydon

Mallory S. Graydon

NASA
被引用次数：2559
safety-critical software software assurance safety cases assurance cases
Brendan Mahony

Brendan Mahony

Research Scientist, Defence Science and Technology Group
在 dst.defence.gov.au 的电子邮件经过验证
被引用次数：1369
Formal Methods Automated Planning Security Evaluation Safety Cases
Irfan Šljivo

Irfan Šljivo

KBR / NASA Ames Research Center
在 nasa.gov 的电子邮件经过验证
被引用次数：564
safety-critical systems safety contracts safety cases component-based development autonomous systems