Department of Computer Science, University of Toronto, Canada;
Department of Computer Science, University of Toronto, Canada;
Software Engineering Institute, Carnegie Mellon University, USA;
Department of Computer Science, University of Toronto, Canada;
机译:演化软件的假设保证回归验证框架
机译:嵌入式电源管理系统中的软件便携性和验证的基于模型的框架
机译:用于软件设计和验证的模型驱动的安全框架
机译:UFO:基于抽象和内插的软件验证的框架
机译:自适应软件的运行时验证和确认框架。
机译:用于预处理验证单同定位定向术前肠外放射外科手术的虚拟水幻像软件的验证
机译:不明飞行物:基于抽象和插值的软件验证框架