Rola Kassem, Mikaël Briday, Jean-Luc Béchennec, Yvon Trinquet, Guillaume Savaton. Simulator generation using an automaton based pipeline model for timing analysis. In Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008, Wisla, Poland, 20-22 October 2008. pages 657-664, IEEE, 2008. [doi]
Abstract is missing.