博文

ISECS 2009的qq群

已有 3958 次阅读 2009-5-1 17:12 |个人分类:未分类|系统分类:科研笔记|关键词:学者

有中了ISECS 2009的同学，
请加这个qq群： 78591015
一起讨论参加会议，发表论文等相关事宜，
：）

转载本文请联系原作者获取授权，同时请注明本文来自赵也非科学网博客。
链接地址：https://m.sciencenet.cn/blog-107188-229328.html

上一篇：Formal model and analysis of sliding window protocol based on NuSMV
下一篇：Formal semantics of UML state diagram and automatic verification Based on Kripke