Formal analysis of Fractional Order Systems in Higher-order Logic

Publication
Formal Methods in Computer-Aided Design (FMCAD)