Concepedia

Author

Mohamed Faouzi Atig

Also Known As

Atig, Mohamed Faouzi, Atig, Mohamed, Faouzi, Bocchi, Laura, MOHAMED FAOUZI ATIG, Mohamed Atig (20084244), Mohamed Faouzi Atig

147

Publications

2K

Citations

25

H-Index

42

Concepts

All Affiliations

MF

About

Mohamed Faouzi Atig is an author at Uppsala University specializing in formal methods, formal verification, and computer science.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

15

19

702

2

Computer Science

15

20

717

3

Computer Engineering

9

9

362

4

Arts

1

1

15

5

Business

1

1

15

Mohamed Faouzi Atig

×

23

Publications

782

Citations

17

H-Index

YearCitations

Page 1