Per anno

2 pubblicazioni senza DBLP Key / 2017 / Giovanni Ciatto

Spiking Neural Networks as Timed Automata (articolo in atti) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Formal Validation of Neural Networks as Timed Automata (articolo in atti) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto

2 pubblicazioni nel 2017 senza DBLP Key • in cima • indice • in fondo

0000-0002-1841-8996

Collegamenti