Automated translation of C/C++ models into a synchronous formalism
Keyword(s):
1986 ◽
Vol 81
(1)
◽
pp. 103-111
◽
2006 ◽
Vol 16
(03)
◽
pp. 347-378
◽
2020 ◽
Vol 2
(1)
◽
pp. 30-41