LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Việc làm

 Luận án : Formal Verification by Abstract Interpretation of Functional Correctness Properties of Neural Networks

Sorry, no longer relevant
 Mentions légales
Sơ đồ site |