Login / Signup

Emna Guerfala

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Formal Verification
Model Checker
Simulation Model
Urban Areas

Top Venues

Inf. Sci.
Publications