声音一相位形状分析与双向抽象
摘要：基于双自由度驱动全自由度射频电机的动态齿错环稳定分析
作者：Florian Sextl (1), Adam Rogalewicz (2), Tom''av{s} Vojnar (2), Florian Zuleger (1) ((1) TU Wien, Institute of Logic and Computation, Research Unit for Formal Methods in Systems Engineering, (2) Brno University of Technology, FIT)
论文ID：2307.06346
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-07-14