Implementing record and refinement for debugging timing-dependent communication.
Implementing record and refinement for debugging timing-dependent communication.
Tim Felgentreff, Michael Perscheid, Robert Hirschfeld
01 May 2017
Venue : Sci. Comput. Program.
External Link: https://doi.org/10.1016/j.scico.2015.11.006