Author:
Barke Erich,Fürtig Andreas,Gläser Georg,Grimm Christoph,Hedrich Lars,Heinen Stefan,Hennig Eckhard,Lukas Lee Hyun-Sek,Nebel Wolfgang,Nitsche Gregor,Olbrich Markus,Radojicic Carna,Speicher Fabian
Publisher
Research Publishing Services
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The CoveRT Approach for Coverage Management in Analog and Mixed-Signal Integrated Circuits;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022-12
2. Tracking Coverage Artefacts for Periodic Signals using Sequence-based Abstractions;2022 35th International Conference on VLSI Design and 2022 21st International Conference on Embedded Systems (VLSID);2022-02
3. Towards Verification of Uncertain Cyber-Physical Systems;Electronic Proceedings in Theoretical Computer Science;2017-04-08