Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets

David A. Hartley, David M. Harvey. Analysis of the TMS320C40 Communication Channels Using Timed Petri Nets. In Marco Ajmone Marsan, editor, Application and Theory of Petri Nets 1993, 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993, Proceedings. Volume 691 of Lecture Notes in Computer Science, pages 562-571, Springer, 1993.

Abstract

Abstract is missing.