...
机译:CSP Z sub>流程的组成抽象
Centre of Informatics Federal University of Pernambuco Cidade Universitária P.O. Box 7851 Zip 50732-970 Recife PE BRAZIL;
Centre of Informatics Federal University of Pernambuco Cidade Universitária P.O. Box 7851 Zip 50732-970 Recife PE BRAZIL;
Centre of Informatics Federal University of Pernambuco Cidade Universitária P.O. Box 7851 Zip 50732-970 Recife PE BRAZIL;
Formal Methods; Model Checking; Data Abstraction; CSP; Z; Compositionality;
机译:CSP Z流程的组成抽象
机译:连续时间随机混合系统的组成抽象合成
机译:基于组成和抽象的扫描性执行方法的编辑函数方法
机译:马尔可夫决策过程中的组合计划:时间抽象符合广义逻辑组合
机译:用于验证并发数据结构的组成抽象
机译:通过状态抽象进行多对象API协议的组合挖掘
机译:的组成抽象 流程