Reserved Area
Home
Talks
About and Contact
InfoBlender
HASLab Seminar
(email)
Formal modeling
An Executable Formal Framework for Safety-Critical Human Multitasking
2/21/2018
By
Giovanna Broccia
, University of Pisa, Italy.
Read more
Using Coq and Recurrent Neural Network to Model and Verify Timed Connectors
2/7/2018
By
Prof. Meng Sun
, Peking University, China.
Read more