approximate satisfaction; possibilistic liveness properties; safety properties; security requirements specification; uniformly parameterised behaviour properties;
机译:安全要求基于模板的方法,提高完整安全要求的写作
机译:面向模型的安全需求工程的有效性和性能分析,以得出安全需求:开发安全软件系统的系统解决方案
机译:通过构建和重用安全需求源来掌握安全需求启发
机译:安全要求统一参数化合作
机译:外层空间国家安全和国际合作的困境:空间技术贸易和扩散控制及其对全球民用空间合作的影响。
机译:将气候谈判关注统一共同承诺可以促进合作
机译:美国对外援助计划:安全援助和安全合作计划的度量标准要求
机译:美国对外援助计划:安全援助和安全合作计划的度量标准要求。