Formal automated transformation of SDL specifications to Lotos specifications.

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

Browse the full ISCC paper archive.