User profile
Current address
yangzhou university of china
225000
yangzhou, jiangsuChina
225000
yangzhou, jiangsuChina
Education
MSc in software
nanjing university
nanjing university
Experience
associate professor
yangzhou university
yangzhou university
Skills
- software
- immune system
Interests
- music
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
Groups (1)
News items (1)
Forum comments (3)
Specifying Cytokine network (empty) |
Immune-B group
Submitted by
shengrong zou
;
posted on
Wednesday, November 29, 2006
|
About B method
Submitted by
shengrong zou
;
posted on
Wednesday, November 29, 2006
|
http://myweb.yzu.edu.cn/srzou
Submitted by
shengrong zou
;
posted on
Wednesday, November 29, 2006
|