受强制性开放获取政策约束的文章 - John Rushby了解详情
无法在其他位置公开访问的文章：1 篇
Assurance and Assurance Cases.
J Rushby
Dependable Software Systems Engineering, 207-235, 2017
强制性开放获取政策： US National Aeronautics and Space Administration
可在其他位置公开访问的文章：7 篇
Considerations in assuring safety of increasingly autonomous systems
EE Alves, D Bhatt, B Hall, K Driscoll, A Murugesan, J Rushby
强制性开放获取政策： US National Aeronautics and Space Administration
Understanding and evaluating assurance cases
J Rushby, X Xu, M Rangarajan, TL Weaver
强制性开放获取政策： US National Aeronautics and Space Administration
Model-Centered Assurance For Autonomous Systems
S Jha, J Rushby, N Shankar
International Conference on Computer Safety, Reliability, and Security, 228-243, 2020
强制性开放获取政策： US National Science Foundation, US Department of Defense
On the interpretation of assurance case arguments
J Rushby
2nd International Workshop on Argument for Agreement and Assurance (AAA 2015 …, 2015
强制性开放获取政策： US National Aeronautics and Space Administration
Semantic Analysis of Assurance Cases using s (CASP)
A Murugesan, IH Wong, R Stroud, J Arias, E Salazar, G Gupta, ...
强制性开放获取政策： US Department of Defense
CLARISSA: Foundations, Tools & Automation for Assurance Cases
S Varadarajan, R Bloomfield, J Rushby, G Gupta, A Murugesan, R Stroud, ...
IEEE Conference on Digital Avionics Systems (DASC) 42, 2023
强制性开放获取政策： US Department of Defense
The indefeasibility criterion for assurance cases
J Rushby
Implicit and Explicit Semantics Integration in Proof-Based Developments of …, 2016
强制性开放获取政策： US National Aeronautics and Space Administration
出版信息和资助信息由计算机程序自动确定