A Formal Model for Representing Component Interfaces and Their Interaction

Presented at the fourteenth annual Newfoundland Electrical and Computer Engineering Conference (NECEC'04)

Last modified: October 20, 2005 02:27:38 UTC (Thursday)