Formal analysis of fractional order systems in HOL.

Umair Siddique, Osman Hasan

Browse the full FMCAD paper archive.