Sofi\`ene Tahar (ECE Department

Identifiers

• name variant Sofi\`ene Tahar (ECE Department 0.60 · backfill

Papers (1)

1. Formal Analysis of Soft Errors using Theorem Proving cs.LO · 2013 · author #9

Mentions

• 1307.8213 #9 · backfill · confidence 0.70 Sofi\`ene Tahar (ECE Department

Frequent Coauthors

• Canada) 1 shared papers
• Concordia University 1 shared papers
• Montreal 1 shared papers
• Naeem Abbasi (ECE Department 1 shared papers
• Osman Hasan (ECE Department 1 shared papers