Keyword:Evolvable systems

Publications
Automated Reasoning in the Simulation of Evolvable Systems Djihed Afifi, David Rydeheard and Howard Barringer In:PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning