Documents NuPECC MEETING March 13-14, 2009 Vienna Achim Richter, ECT* and TUD ECT* Directors Report .

Slide 1NuPECC MEETING March 13-14, 2009 Vienna Achim Richter, ECT* and TUD ECT* Directors Report www.ect.it Slide 2 Changeover in the Directorship of ECT* November 01, 2008…

Documents Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams

Verification of Synchronization in SpecC Description with the Use of Difference Decision Diagrams Thanyapat Sakunkonchak Masahiro Fujita Department of Electronic Engineering…