OSI Testing Environment Based on the Standardized Formalisms.

Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno

Browse the full FORTE paper archive.