Formal Transformation of a KPN Specification to a GALS Implementation.

Syed Suhaib, Bijoy Antony Jose, Sandeep K. Shukla, Deepak Mathaikutty

Browse the full FDL paper archive.