个人工具
您位于: 首页 → 成员 → 兴趣专长 → 形式化技术
 
文档操作

形式化技术

Petri网, 进程代数, Pi演算等

擅长该领域的人

教师

王 千祥, 博士

王 千祥, 博士

更多信息...
谢 冰, 博士, 教授

谢 冰, 博士, 教授

更多信息...
焦 文品

焦 文品

更多信息...

教工

张 岩, 博士

模型驱动的开发方法（Model Driven Development, MDD）

更多信息...
« 2012年 五月 »
五月
一二三四五六日
123456
78910111213
14151617181920
21222324252627
28293031