Conformance testing of the STP-ISS protocol implementation by means of temporal logic.

Nadezhda Chumakova, Valentin Olenev, Irina Lavrovskaya

Browse the full FRUCT paper archive.