Eindhoven University of Technology, Eindhoven, The Netherlands,Fanap Corporation (IT Subsidiary of Pasargad Bank), Tehran, Iran;
University of Tehran, Tehran, Iran;
Eindhoven University of Technology, Eindhoven, The Netherlands;
Eindhoven University of Technology, Eindhoven, The Netherlands;
机译:带有异步接口和电信协议的系统的形式化模型和一致性测试的开发
机译:异步FIFO中的同步器测试
机译:使用全局行为树进行OSPF协议LSDB同步的一致性测试
机译:同步异步一致性测试
机译:线路启动内部永磁电动机的异步启动和同步分析。
机译:社会同步异步课程:通过竞争学习
机译:同步异步一致性测试