Cited By
View all- Zheng LZhang KWei GChu H(2024)Mixed-Criticality Traffic Scheduling in Time-Sensitive Networking Using Multiple Combinatorial Packing Based on Free Time DomainElectronics10.3390/electronics1313264413:13(2644)Online publication date: 5-Jul-2024
- Murali VTrivedi AZamani M(2024)Falsification via Barrier Certificates2024 American Control Conference (ACC)10.23919/ACC60939.2024.10644795(4657-4662)Online publication date: 10-Jul-2024
- Wu NLi YYang HChen HDai SHao CYu CXie Y(2024)Survey of Machine Learning for Software-assisted Hardware Design Verification: Past, Present, and ProspectACM Transactions on Design Automation of Electronic Systems10.1145/366130829:4(1-42)Online publication date: 24-Apr-2024
- Show More Cited By