The following pages link to Umair Siddique (Q315312):
Displaying 13 items.
- On the formal analysis of Gaussian optical systems in HOL (Q315313) (← links)
- Formal analysis of optical systems (Q475384) (← links)
- On the formalization of gamma function in HOL (Q2352499) (← links)
- Formal verification of stability and chaos in periodic optical systems (Q2361358) (← links)
- Combining refinement and signal-temporal logic for biological systems (Q2364692) (← links)
- On the Formal Analysis of Geometrical Optics in HOL (Q2849513) (← links)
- On the Formalization of Z-Transform in HOL (Q2879271) (← links)
- Rewriting-Based Runtime Verification for Alternation-Free HyperLTL (Q3303921) (← links)
- Formalizing Physics: Automation, Presentation and Foundation Issues (Q3453125) (← links)
- Towards the Formalization of Fractional Calculus in Higher-Order Logic (Q3453127) (← links)
- Formal Analysis of Engineering Systems Based on Signal-Flow-Graph Theory (Q5213976) (← links)
- A Framework for Formal Reasoning about Geometrical Optics (Q5495947) (← links)
- (Q5869541) (← links)