![](/img/cover-not-exists.png)
[ACM Press the 8th International Conference - Nha Trang City, Viet Nam (2017.12.07-2017.12.08)] Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics - CSBio '17 - Formal Validation of Neural Networks as Timed Automata
De Maria, Elisabetta, Di Giusto, Cinzia, Ciatto, GiovanniYear:
2017
Language:
english
DOI:
10.1145/3156346.3156350
File:
PDF, 268 KB
english, 2017