|
shengrong zou
[Send a message] Member since: April 27, 2006
|
http://myweb.yzu.edu.cn/srzou
|
|
Curriculum vitae
|
Current address:
yangzhou university of china
225000
yangzhou, jiangsu
China
Education:
MSc in software
nanjing university
Experience:
associate professor
yangzhou university
Skills:
software
immune system
Activities:
Interests:
music
References:
Other:
Modeling distributed algorithm using B , Lecture Notes in Computer Science series by Springer(LNCS 3033).
Case study of modeling immune system with B method,CIT 2004,IEEE Press
Formally Specifying T-cell Cytokine Networks with B Method, CIS 2004, LNCS 3314
|
|