Reserved Area

Home
Talks
About and Contact

InfoBlender

HASLab Seminar

Coq

Using Coq and Recurrent Neural Network to Model and Verify Timed Connectors 2/7/2018

By Prof. Meng Sun, Peking University, China.

Read more

Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.