我们如何将 Event-Condition-Action 规则转换为 Alloy ( http://alloy.mit.edu/alloy/ )
问问题
206 次
1 回答
2
您可以查看以下幻灯片以了解有关 Alloy 中事件成语的更多信息
http://people.csail.mit.edu/dnj/talks/lipari05/lectures/lipari-lecture4.pdf
于 2013-04-18T14:13:43.517 回答