Computer Systems Tallinn University of Technology Estonia;
Power system reliability; Security; Reliability engineering; Timing; Real-time systems; Computer bugs;
机译:了解多维验证:功能与非功能相遇
机译:环境自适应系统的功能和非功能需求的建模和验证
机译:多维上下文建模应用于软件的非功能分析
机译:朝多维验证:功能符合非功能性的位置
机译:Web服务组合的可量化的非功能需求建模和静态验证。
机译:AH受体配体结合结构域的同源模型的比较分析:非功能性AHR的点定向诱变结构函数预测的验证
机译:朝多维验证:功能符合非功能性的位置