...
机译:基于模型的系统保证,使用结构保证案例元模型
Univ York Dept Comp Sci York YO10 5GH N Yorkshire England;
Univ York Dept Comp Sci York YO10 5GH N Yorkshire England;
Univ York Dept Comp Sci York YO10 5GH N Yorkshire England;
Univ York Dept Comp Sci York YO10 5GH N Yorkshire England;
Univ York Dept Comp Sci York YO10 5GH N Yorkshire England;
Model driven engineering; Structured assurance case metamodel; Model based system assurance; Goal structuring notation; Claims-Arguments-Evidence;
机译:使用结构化保证案例元模型的基于模型的系统保证
机译:结构化保证案例元模型对安全证据管理的分析
机译:使用结构化保证案例模型的软件保证
机译:采用结构化保证案例元模型(SACM)制作模块化保证案例
机译:Web保证:比较基于印章的保证和基于信誉反馈的保证。
机译:使用结构化保证案例模型的软件保证
机译:与结构保证案例的安全证据管理分析
机译:使用结构化保证模型的软件保障