DocumentCode
1835807
Title
Table of contents
fYear
2010
fDate
26-28 July 2010
Firstpage
1
Lastpage
3
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/MEMCOD.2010.5558628
Filename
5558628
Link To Document