The following pages link to Sofiène Tahar (Q246141):
Displayed 20 items.
- Formal Reliability Analysis Using Theorem Proving (Q5280761) (← links)
- Formal Reasoning about Classified Markov Chains in HOL (Q5327351) (← links)
- On the Formalization of Cardinal Points of Optical Systems (Q5348536) (← links)
- Automated Technology for Verification and Analysis (Q5394196) (← links)
- Automated Technology for Verification and Analysis (Q5394212) (← links)
- Theorem Proving in Higher Order Logics (Q5464641) (← links)
- Automated Technology for Verification and Analysis (Q5491854) (← links)
- Formal Methods in Computer-Aided Design (Q5492965) (← links)
- Towards the Formal Reliability Analysis of Oil and Gas Pipelines (Q5495912) (← links)
- Formalization of Complex Vectors in Higher-Order Logic (Q5495918) (← links)
- A Framework for Formal Reasoning about Geometrical Optics (Q5495947) (← links)
- Verification of Tail Distribution Bounds in a Theorem Prover (Q5504370) (← links)
- A New Approach for the Construction of Multiway Decision Graphs (Q5505605) (← links)
- On the Formalization of the Lebesgue Integration Theory in HOL (Q5747663) (← links)
- (Q5869541) (← links)
- (Q5869611) (← links)
- Correct Hardware Design and Verification Methods (Q5897070) (← links)
- Evaluation of anonymity and confidentiality protocols using theorem proving (Q5962971) (← links)
- Formalization of functional block diagrams using HOL theorem proving (Q6113896) (← links)
- On the formalization of the heat conduction problem in HOL (Q6159364) (← links)