![](/img/cover-not-exists.png)
[IEEE 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design (MEMOCODE) - Cambridge, MA, USA (2009.07.13-2009.07.15)] 2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design - Verification of an industrial SystemC/TLM model using LOTOS and CADP
Garavel, Hubert, Helmstetter, Claude, Ponsini, Olivier, Serwe, WendelinYear:
2009
Language:
english
DOI:
10.1109/MEMCOD.2009.5185377
File:
PDF, 209 KB
english, 2009