博文
ISECS 2009的qq群
||
有中了ISECS 2009的同学，
请加这个qq群： 78591015
一起讨论参加会议，发表论文等相关事宜，
：）
https://blog.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
请加这个qq群： 78591015
一起讨论参加会议，发表论文等相关事宜，
：）
https://blog.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
