|
以文本方式查看主题 - 计算机科学论坛 (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- [学习与交流]形式化方法 (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=58274) |
|
-- 作者：superdog -- 发布时间：1/20/2008 10:07:00 PM -- [学习与交流]形式化方法 因学业需要和兴趣所致，想形成对形式化方法、工具和应用的整体认识，哪位朋友对操作系统的形式化安全模型设计分析与应用、具体的形式化工具Z语言、Coq等感兴趣，希望能交流一下。 QQ：404609945 |
|
-- 作者：netjian -- 发布时间：2/14/2008 9:24:00 PM -- NJU.LAMDA的詹德川博士好像是对此方面有所研究。 你可以向他请教。 url ： http://lamda.nju.edu.cn/zhandc/index.htm [此贴子已经被作者于2008-2-16 15:35:22编辑过]
|
|
-- 作者：rayren -- 发布时间：5/26/2008 10:07:00 AM -- re |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
125.000ms |