North Dakota State University.;
机译:当在一组反应性需求中可视化名义外行为时,解决状态爆炸问题
机译:一种关注点分离的体系结构方法,可以解决嵌入式实时软件系统开发中的额外功能需求
机译:使用NIH阶段III / IV嵌入式试验设计解决最小数据集行为措施的次数
机译:揭示反应系统要求中标称行为的敏感性
机译:实时嵌入式系统的需求验证框架。
机译:使用NIH阶段III / IV嵌入式试验设计解决最小数据集行为措施的次数
机译:对网络地址转换(NAT)行为要求的更新