Opportunities and Challenges in Process-algebraic Verification of Asynchronous Circuit Designs

Xu Wang, Marta Kwiatkowska, Georgios Theodoropoulos, [No Value] [No Value]

Computer Science

Research output: Contribution to conference (unpublished) › Paper

4 Citations (Scopus)

1 results

Finished

An Intergrated Framework for Formal Vertification and Distributed Simulation of Asynchronous
Theodoropoulos, G. (Principal Investigator) & Kwiatkowska, M. (Co-Investigator)
Engineering & Physical Science Research Council
1/09/03 → 31/08/06
Project: Research Councils