Encoding SystemC models in formal synchronous formalism

Citation:

Hocine R, Kalla H. Encoding SystemC models in formal synchronous formalism. International Journal of Computer ApplicationsInternational Journal of Computer Applications. 2011;975 :8887.

Date Published:

2011

Publications /Année

In Press (2)
In Preparation (3)
Submitted (15)
2023 (11)
2022 (138)
2021 (459)
2020 (429)
2019 (551)
2018 (628)
2017 (522)

Publications / Auteur