verification and validation; systems engineering; NPP;
机译:支持系统开发的正式方法,统计调试和探索性分析:迈向验证和确认计算器工具
机译:验证和验证中可使用的正式方法的需求
机译:指定,验证和验证需求的正式方法
机译:在NPP设计中使用正式的验证方法方法
机译:用于形式化方法的框架可驱动对可靠实时协议的验证和确认。
机译:一种人机交互系统的形式化验证方法
机译:利用形式方法,验证和确认的应用:基础技术。 ISoLA2016。计算机科学讲座
机译:核电厂先进控制和仪表系统。设计,验证和验证。 IaEa / IWG / aTWR和NppCI技术委员会会议。 1994年6月20日至23日在芬兰埃斯波和赫尔辛基举行