Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example

Savas Konur, Marian Gheorghe, Ciprian Dragomir, Florentin Ipate, Natalio Krasnogor. Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example. Fundamenta Informaticae, 134(1-2):97-110, 2014. [doi]

Authors

Savas Konur

This author has not been identified. Look up 'Savas Konur' in Google

Marian Gheorghe

This author has not been identified. Look up 'Marian Gheorghe' in Google

Ciprian Dragomir

This author has not been identified. Look up 'Ciprian Dragomir' in Google

Florentin Ipate

This author has not been identified. Look up 'Florentin Ipate' in Google

Natalio Krasnogor

This author has not been identified. Look up 'Natalio Krasnogor' in Google