School of Innovation, Design and Engineering Malardalen University Vasteras, Sweden;
School of Innovation, Design and Engineering Malardalen University Vasteras, Sweden;
School of Innovation, Design and Engineering Malardalen University Vasteras, Sweden;
机译:使用不变式的面向对象程序的规范和验证技术
机译:电源管理方法:从规格和建模到技术和验证
机译:使用计算机代数技术来规范,验证和综合递归程序
机译:AADL规范的基于体系结构验证技术
机译:规范和验证企业应用程序的技术。
机译:术中植入定向钯源网格(CivaSheet™):剂量学验证临床调试剂量规范和初步经验
机译:顶级案例环境中AADL规范的形式验证
机译:基于消息传递语义的并行程序规范与验证技术。