Specification Mining for Asynchronous Controllers

Javier de San Pedro, Thomas Bourgeat, Jordi Cortadella. Specification Mining for Asynchronous Controllers. In 22nd IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2016, Porto Alegre, Brazil, May 8-11, 2016. pages 107-114, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.