师资队伍
![]() |
张苗苗 ZHANG MIAO MIAO 博导、研究员 电子邮件: miaomiao@tongji.edu.cn |
|
主讲课程:
|
研究方向:
|
欢迎对模型算法、形式化方法、机器和模型学习等方面感兴趣的同学报考本实验室!
部分科研项目简介
部分论文简介
Jasper Berendsen, Biniam Gebremichael, Frits W. Vaandrager, Miaomiao Zhang: Formal specification and analysis of zeroconf using uppaalS. ACM Trans. Embedded Comput. Syst. 10(3): 34:1-34:32 (2011)
Copyright© 2017 同济大学软件学院
技术支持: 上海维程