- idUS
- Jornadas y Congresos US
- Informática
- BWMC2014. Brainstorming Week on Membrane Computing (12th. 2014. Sevilla)
- Browsing BWMC2014. Brainstorming Week on Membrane Computing (12th. 2014. Sevilla) by Author
Browsing BWMC2014. Brainstorming Week on Membrane Computing (12th. 2014. Sevilla) by Author "Ipate, Florentin"
Now showing items 1-1 of 1
-
Presentation
Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
Konur, Savas; Gheorgue, Marian; Dragomir, Ciprian; Ipate, Florentin; Krasnogor, Natalio (Fénix Editora, 2014)As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal veri ...