Login / Signup
Formal analysis of fractional order systems in HOL.
Umair Siddique
Osman Hasan
Published in:
FMCAD (2011)
Keyphrases
</>
formal analysis
formal methods
fractional order
gray level
artificial intelligence
image analysis
mathematical model
differential equations