“赵翔鹏的Blog” 的评论

djxiong 关于冬访曲阜的评论

djxiong — Mon, 30 Jan 2012 04:47:33 +0000

say hello，新春快乐！

Feng Liang 关于什么是模态逻辑? 的评论

Feng Liang — Thu, 29 Dec 2011 01:24:57 +0000

学习中。。。

claire 关于晨读书摘的评论

claire — Mon, 21 Nov 2011 08:53:21 +0000

你还挺小资的~

Xiangpeng 关于秋游潭柘寺的评论

Xiangpeng — Sun, 20 Nov 2011 03:26:49 +0000

谢谢这么好的回复。

王哲关于 RBAC的形式化验证…… 的评论

王哲 — Tue, 08 Nov 2011 13:20:24 +0000

你好！刚看到你的文章，写的很好！我想问一下，我有些问题想请教你，怎么样跟你联系啊，你的邮箱？或者什么？

ww 关于秋游潭柘寺的评论

ww — Sun, 02 Oct 2011 13:37:09 +0000

心安则静，人安则宁，匆匆过客，不过回眸。

Xiangpeng 关于 UPPAAL 4.05已推出的评论

Xiangpeng — Thu, 01 Sep 2011 03:02:36 +0000

用命令行方式运行uppaal，运行前后记一下时间不就可以了。内存倒是不好办。如果uppaal有输出就容易。如果没有，可能要自己写代码。Windows下有GetProcessMemoryInfo这样的API。

engine 关于 UPPAAL 4.05已推出的评论

engine — Wed, 31 Aug 2011 12:07:50 +0000

用什么方法可以知道

engine 关于 UPPAAL 4.05已推出的评论

engine — Wed, 31 Aug 2011 12:07:30 +0000

请问谁知道uppaal在验证一个实例时花费的时间和内存吗

Xiangpeng 关于 Some Reflection on Security Policy 的评论

Xiangpeng — Wed, 31 Aug 2011 03:22:56 +0000

没有……买的纸质书。

“赵翔鹏的Blog” 的评论

djxiong 关于 冬访曲阜 的评论

Feng Liang 关于 什么是模态逻辑? 的评论

claire 关于 晨读书摘 的评论

Xiangpeng 关于 秋游潭柘寺 的评论

王哲 关于 RBAC的形式化验证…… 的评论

ww 关于 秋游潭柘寺 的评论

Xiangpeng 关于 UPPAAL 4.05已推出 的评论

engine 关于 UPPAAL 4.05已推出 的评论

engine 关于 UPPAAL 4.05已推出 的评论

Xiangpeng 关于 Some Reflection on Security Policy 的评论

djxiong 关于冬访曲阜的评论

Feng Liang 关于什么是模态逻辑? 的评论

claire 关于晨读书摘的评论

Xiangpeng 关于秋游潭柘寺的评论

王哲关于 RBAC的形式化验证…… 的评论

ww 关于秋游潭柘寺的评论

Xiangpeng 关于 UPPAAL 4.05已推出的评论

engine 关于 UPPAAL 4.05已推出的评论

engine 关于 UPPAAL 4.05已推出的评论