Formal Automated Transformation of SDL Specifications to Estelle Specifications.

Hazem El-Gendy, Nabil El-Kadhi, Narayan C. Debnath

Browse the full CATA paper archive.