Elbouanani Soumia, Assayad Ismail, Sadik Mohammed. Verification of SystemC Components Using the Method of Deduction. In Essaid Sabir, Ana García Armada, Mounir Ghogho, Mérouane Debbah, editors, Ubiquitous Networking - Third International Symposium, UNet 2017, Casablanca, Morocco, May 9-12, 2017, Revised Selected Papers. Volume 10542 of Lecture Notes in Computer Science, pages 596-606, Springer, 2017. [doi]
Abstract is missing.