Technical University of MunichBoltzmannstr. 15, 85748 Garching,GermanyPhone: +49 89 289 16018Email: A.Vollerthun@Lrt.mw.tum.de;
Israel Aircraft Industries (IAI)ASSET Program, HDQIsraelPhone: +972-3-935 6339Email: aengel@malat.iai.co.il;
Norwegian School of InformationTechnology, Bergen,NorwayPhone: +47 5554 4318Email: cecilia.haskins@nith.no;
机译:验证和验证定量系统药理学和硅的制药模型:当前需求,差距和挑战
机译:支持系统开发的正式方法,统计调试和探索性分析:迈向验证和确认计算器工具
机译:开发,验证和确认基于FPGA的PWR核心除热保护系统
机译:SMAP上行链路的模型验证和验证处理模型的基于模型的开发方法和用于航空航天系统软件的自动验证
机译:混合系统的验证和确认。
机译:验证和验证药物开发中的定量系统药理学和计算机模拟模型:当前的需求差距和挑战
机译:衡量和提高系统集成验证验证验证评估符号(IV2AN)的集成,验证和验证的效率衡量和提高效率
机译:专家系统软件和传统软件的验证和确认指南:专家系统验证和验证方法的调查和记录。第3卷