UPPAAL’s Modeling and Specification Language&Philips Bounded Retransmission Protocol

Paul Pettersson

BRICS@Aalborg

Next slide

Back to first slide

View graphic version