Christian-Albrechts-University of Kiel, Institute of Computer Science, Germany;
University of Osnabriick, Department of Mathematics and Computer Science, Germany;
system generation; automated checking support; hierarchical dependencies; checking dynamic behavior by model checking;
机译:在城市发展的连续研讨会中使用共识建筑支持系统来验证效果
机译:支持系统开发的正式方法,统计调试和探索性分析:迈向验证和确认计算器工具
机译:基于症状的应急程序支持系统的开发和验证
机译:验证支持生成系统开发
机译:长期和短期说话者特征建模的判别和生成方法:在说话者验证中的应用。
机译:生物仿制药和参考生物治疗药物之间的生物分析相似性的系统验证:委员会为开发和验证单一配体结合测定法以支持药代动力学评估提供的建议
机译:VOC用于优化编译器的翻译验证器11这项研究得到了NSF资助CCR-0098299,ONR资助N00014-99-1-0131和密涅瓦反应堆验证中心的部分支持,这是英特尔提供的礼物,德国-以色列科学研究基金会和发展。