RBAC; formal and semi-formal techniques; survey and analysis; verification and validation;
机译:通过构造进行检索:支持UML形式化的验证和验证的可追溯性技术
机译:通过模型驱动的工程来支持对安全标准合规性的验证:方法,工具支持和经验验证
机译:验证基于敏感性和不确定性的临界安全验证技术:ORNL的SCALE案例研究
机译:评估RBAC支持的技术及其验证和验证
机译:使用最新技术和模块化不确定性技术进行验证和确认。
机译:剂量学验证和两个3D剂量验证系统的临床实施以在容积调制电弧治疗技术中确保质量
机译:按构造检索:支持uml形式化验证和验证的可追溯性技术