...
机译:多核符号双仿真最小化
Institute for Formal Methods and Verification, Johannes Kepler University;
Formal Methods and Tools, University of Twente;
Bisimulation minimisation; Interactive Markov chains; Binary decision diagrams; Parallel algorithms;
机译:未排序树上加权自动机的双仿真最小化
机译:通过交替近似双仿真的时变时滞系统的符号模型
机译:量子过程的符号双仿真
机译:多核符号双仿真最小化
机译:最小化Perovskite太阳能电池中的光学和电力损失:从单结到先进的串联设计=涉及太阳能电池的光学和电气损失最小化
机译:常规教室中的符号行为:符号和非符号行为规范
机译:多核符号双刺激最小化