机译:关于嵌入式软件的模型驱动设计和基于动态声明的验证的集成
机译:迈向经过验证的软件:编程的镜像理论
机译:迈向经过验证的软件:编程的镜像理论
机译:整合计划建模,设计和验证的理论和技术,将UNU-IICT在验证软件挑战的协作研究中定位研究
机译:软件验证技术在硬件设计验证中的应用。
机译:婴幼儿幼儿有意义的听觉整合规模的修改与验证:一种心动测验与古典测试理论的响应理论结合
机译:基于模型的技术,用于未来对关键实时软件系统的形式验证的集成
机译:将需求工程,建模和验证技术集成到软件和系统工程中;最终的评论。 2003年8月1日至2007年7月31日