Lecture

中文|English

Responsive image

Current Location：homepage Lecture

Lecture

Graph Visualization: Quality Metrics 2018-07-22
Secure Multiparty Computation: Past and Present 2016-03-04
Jean-Francois Monin：Programming with dependent types using ... 2016-03-04
Perturbation Analysis in Verification of Discrete-Time Marko... 2015-11-27
Towards a Bisimulation Theory for Open Synchronized Networks... 2015-11-04
Security and privacy in vehicular networks 2015-10-28
An Integrated Solution for Software Testing and Quality Assu... 2015-09-10
My view on Research Methodology 2015-09-09
Coverage at the Formal Specification Level 2015-08-13
Robotic Manipulation Leveraging Plane Contacts 2015-07-01

firstpage <<previouspage nextpage>> endpage
PageNumber 6/6

Links:

◇East China Normal University

Software Engineering Institute
Dishui Lake International Software Engineering Institute

Address：North Zhongshan Road 3663, Shanghai
Nanmu Road111, Shanghai

E-mail：office@sei.ecnu.edu.cn | Tel：021-62232550

www.sei.ecnu.edu.cn Copyright Software Engineering Institute