safety-critical systems / computer algebra systems / optical systems / electrical engineering systems / mechanical networks / transportation / electrical networks / natural systems / electrical systems / physical systems / communication systems / huge symbolic manipulation algorithms / control systems / /
Organization
Osman Hasan School of Electrical Engineering and Computer Science / HOL-Light Syeda Hira Taqdees and Osman Hasan School of Electrical Engineering and Computer Science / National University of Sciences and Technology / /
Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light Syeda Hira Taqdees and Osman Hasan School of Electrical Engineering and Computer Science (SEECS), National University of Sciences an