QT interval sensor; Rate-adaptive pacemaker; hybrid automata; model-based framework;
机译:通过心电图监测诱导的分钟通气量起搏器中的起搏器心动过速。
机译:高压条件下基于活动的速率自适应起搏器。
机译:用于控制速率自适应心脏起搏器和植入式除颤器的光纤传感器系统
机译:汇率适应起搏器的正式建模与验证
机译:基于组件的方法来验证和确认正式软件模型。
机译:活性氧的消炎作用–经过正式概念分析验证的多值逻辑模型
机译:通过视觉和形式对心脏起搏器进行建模