Robert Pasko, Radim Cmar, Patrick Schaumont, Serge Vernalde. Functional verification of an embedded network component by co-simulation with a real network. In Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, Berkeley, California, USA, November 8-10, 2000. pages 64-67, IEEE Computer Society, 2000. [doi]
Abstract is missing.