, Verimag - CNRS 2 Avenue de Vignate, 38610 Gières, France, France

• Leibniz Transactions on Embedded Systems Vol. 1 No. 1 (2014)
  Regular Papers
  TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox
  PDF