- idUS
- Jornadas y Congresos US
- Informática
- BWMC2014. Brainstorming Week on Membrane Computing (12th. 2014. Sevilla)
- Listar BWMC2014. Brainstorming Week on Membrane Computing (12th. 2014. Sevilla) por autor
Listar BWMC2014. Brainstorming Week on Membrane Computing (12th. 2014. Sevilla) por autor "Gheorgue, Marian"
Mostrando ítems 1-1 de 1
-
Ponencia
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 ...