HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Adnan Rashid

Publications
Formalization of Transform Methods in Higher-Order Logic: a Survey
Muhammad Ahmed and Adnan Rashid
EasyChair Preprint 8009

Keyphrases

continuous-time system, differential equation, Discrete Fourier Transform, discrete-time system, formal analysis, formal methods, formalization, Fourier transform, frequency response, higher-order logic, HOL Light, Laplace transform, theorem prover, theorem proving, transfer function, transform method, transform method based analysis, transform methods.

Copyright © 2012-2025 easychair.org. All rights reserved.