in association with peterwong.org.
Labels: Academic
posted by Peter @ 23:04 1 comments links to this post
我想這是觀點與角度的問題,大家繼續努力便是吧!
Post a Comment
Create a Link
<< Home
I am a research student investigating formal approaches for specifying workflow in both business and clinical domains. Currently I am using CSP and Z for formalising and reasoning about properties of workflows.
View my complete profile
Subscribe in a reader
1 Comments:
我想這是觀點與角度的問題,大家繼續努力便是吧!
Post a Comment
Links to this post:
Create a Link
<< Home