Nástroj pro ověřování behavior protokolů

Abstrakt

Nástroj pro ověřování behavior protokolů, [http://sofa.objectweb.org/download.phtml]