Title :
Table of contents
Abstract :
The following topics are dealt with: parallel architecture; deep packet inspection; verification methods; design languages; and model transformations.
Keywords :
formal verification; high level languages; parallel architectures; deep packet inspection; design languages; model transformations; parallel architecture; verification methods;
Conference_Titel :
Formal Methods and Models for Codesign (MEMOCODE), 2010 8th IEEE/ACM International Conference on
Conference_Location :
Grenoble
Print_ISBN :
978-1-4244-7885-9
DOI :
10.1109/MEMCOD.2010.5558628
