Concepedia

Fathi Taibi

FT

Statistics

Publications

2

Citations

20

H-Index

2

Active since

2006

Affiliations

United Arab Emirates University(Current)

Fathi Taibi is an author at United Arab Emirates University specializing in automated reasoning, formal verification, and formal specification.

Top concepts

Publications per year

2006–2013

2

Publications

2

Formal Specification of Design Patterns and Their Instances

Toufik Taibi, Fathi Taibi · IEEE International Conference on Computer Systems and Applications, 2006. · 2006 · 10 citations

, , +15

Empirical Analysis Of The Reusability Of Object-Oriented Program Code In Open-Source Software

Fathi Taibi · Zenodo (CERN European Organization for Nuclear Research) · 2013 · 10 citations · Full text

1–2 of 2