Communication Dans Un Congrès
Année : 2017
Cinzia Di Giusto : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01717598
Soumis le : lundi 26 février 2018-15:17:56
Dernière modification le : lundi 26 février 2024-11:22:07
Citer
Elisabetta de Maria, Cinzia Di Giusto, Giovanni Ciatto. Formal Validation of Neural Networks as Timed Automata. the 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang City, France. ⟨10.1145/3156346.3156350⟩. ⟨hal-01717598⟩
Collections
78
Consultations
0
Téléchargements