[IEEE 2019 IEEE/ACM 7th International Conference on Formal...

[IEEE 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE) - Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks

Tran, Hoang-Dung, Musau, Patrick, Manzanas Lopez, Diego, Yang, Xiaodong, Nguyen, Luan Viet, Xiang, Weiming, Johnson, Taylor T

Avez-vous aimé ce livre?

Quelle est la qualité du fichier téléchargé?

Veuillez télécharger le livre pour apprécier sa qualité

Quelle est la qualité des fichiers téléchargés?

Année:

2019

Langue:

english

DOI:

10.1109/FormaliSE.2019.00012

Fichier:

PDF, 622 KB

english, 2019

La conversion en est effectuée

La conversion en a échoué