Departtnent of Computer Engineering College of EME National University of Science and Technology Rawalpindi 46000 Pakistan;
Department of Computer Science National University of Modern Languages (NUML) Islamabad 44000 Pakistan;
Departtnent of Compu;
Tools; Requirements management; Systematics; Standards; Requirements engineering; Hazards;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:将无限状态模型检查和其他分析技术应用于安全关键系统的表格需求规范
机译:安全关键系统需求管理技术调查
机译:对嵌入式系统中的安全关键要求进行计算机辅助的经济有效的验证。
机译:自我管理支持的首选项:Safety-Net Health系统中糖尿病患者调查的结果
机译:安全关键系统安全分析技术概述
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范