More Industrial Case Studies

• Bounded Retransmission Protocol (Philips) TACAS97

• Collision Avoidance Protocol SPIN96

• TDMA Start Up Mechanism (Dacapo) SNART97

• LIP Synchronization Algorithm FMICS’98

• GEAR Controller (Mecel) TACAS98

Previous slide

Next slide

Back to first slide

View graphic version