机译:动态软件更新的行为正确性的形式化和验证
dynamic software updatingalgebraic specificationverificationbehavioral property;
机译:虚拟化的原位软件更新验证:空中汽车软件更新的验证
机译:实时软件的形式化和验证
机译:实时软件的形式化和验证
机译:指定和验证动态软件更新的正确性
机译:缩放自动验证:建立高完整性软件的案例研究和形式化IDE
机译:校正力传感器动态误差的软件
机译:动态软件更新的行为正确性的形式化和验证
机译:指定和验证动态软件更新的正确性。