...
机译:使用Spec Explorer在软件控制系统中自动检查约束
机译:通过约束逻辑自动进行软件模型检查
机译:自动一致性检查,用于将软件系统迁移到云基础架构和平台
机译:通过差动连接提高磁悬浮自动控制系统瞬态过程的动态精度和质量指标。第二部分具有微分约束的磁悬浮自动控制系统
机译:具有相关数值约束的模型检查软件系统的自动抽象
机译:基于传感器的自适应控制约束系统,用于自动调节主轴转速以获得高度稳定的铣削。
机译:从Cirrus和Spectralis系统获取的图像中用于糖尿病性黄斑水肿眼的视网膜厚度的全自动软件
机译:使用spec Explorer自动检查软件控制系统中的约束。
机译:用于多通道瞬态测试数据的自动设置,校准,检验和转换的计算机控制系统