![](/img/cover-not-exists.png)
[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign - Nice, France (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - Multi-Level Assertion-Based Design
Eveking, Hans, Braun, Martin, Schickel, Martin, Schweikert, Martin, Nimbler, VolkerYear:
2007
Language:
english
DOI:
10.1109/MEMCOD.2007.371244
File:
PDF, 1.98 MB
english, 2007