Author:
Koczor Arkadiusz,Matoga Lukasz,Penkala Piotr,Pawlak Adam
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Sphinx: A Hybrid Boolean Processor-FPGA Hardware Emulation System;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28
2. Emulation: Accelerating Simulation for Rapid Verification of Modern Processor-based Subsystems;2023 3rd International Conference on Intelligent Technologies (CONIT);2023-06-23
3. Verifizierung für autonome Unterwassersysteme;KI-Technologie für Unterwasserroboter;2023
4. Verification for Autonomous Underwater Systems;AI Technology for Underwater Robots;2019-10-24