Application of formal methods for design space exploration and refinement.

Dominique Borrione, Ashraf M. Salem

Browse the full FDL paper archive.