- idUS
- Jornadas y Congresos US
- Informática
- Listar Informática por autor
Listar Informática por autor "Krasnogor, Natalio"
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 ...