Elisabetta De Maria, Abdorrahim Bahrami, Thibaud L'Yvonnet, Amy P. Felty, Daniel Gaffé, Annie Ressouche, Franck Grammont. On the use of formal methods to model and verify neuronal archetypes. Frontiers of Computer Science in China, 16(3):163404, 2022. [doi]
Abstract is missing.