Djihed Afifi

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Djihed Afifi, David E. Rydeheard, Howard Barringer
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems. RV (2010)
Djihed Afifi, David E. Rydeheard, Howard Barringer
Automated Reasoning in the Simulation of Evolvable Systems. PAAR@IJCAR (2010)