电脑体验，效果更佳

周志远图谱-计算机领域：

相关人员

代荣阳 张大方 缪力 李洪 黄谷

研究领域

计算机模拟 有限状态机 线形时序逻辑 模型检查 TCP连接管理 细胞信号转导 形式化验证 Gepasi

所属机构

泸州医学院生物化学教研室 湖南大学软件学院

正在加载...