A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Suleiman Abu Kharmeh, Kerstin Eder, David May. A Design-for-Verification Framework for a Configurable Performance-Critical Communication Interface. In Uli Fahrenberg, Stavros Tripakis, editors, Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Volume 6919 of Lecture Notes in Computer Science, pages 335-351, Springer, 2011. [doi]

This author has not been identified. Look up 'Suleiman Abu Kharmeh' in GoogleThis author has not been identified. Look up 'Kerstin Eder' in GoogleThis author has not been identified. Look up 'David May' in Google

runs on WebDSL