共 50 条
- [2] Logic Technology Scaling: Present and Future 2021 INTERNATIONAL SYMPOSIUM ON VLSI TECHNOLOGY, SYSTEMS AND APPLICATIONS (VLSI-TSA), 2021,
- [5] The History, Present and Future of the Stud of Chinese Logic ASIAN STUDIES-AZIJSKE STUDIJE, 2022, 10 (02): : 105 - 117
- [7] Real time temporal logic: Past, present, future FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 2 - 16
- [8] Logic-Based Explainability: Past, Present and Future LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SOFTWARE ENGINEERING METHODOLOGIES, PT IV, ISOLA 2024, 2025, 15222 : 181 - 204