AGH University of Science and Technology, al. A. Mickiewicza 30, 30-059 Krakow, Poland;
AGH University of Science and Technology, al. A. Mickiewicza 30, 30-059 Krakow, Poland;
AGH University of Science and Technology, al. A. Mickiewicza 30, 30-059 Krakow, Poland;
AGH University of Science and Technology, al. A. Mickiewicza 30, 30-059 Krakow, Poland;
机译:一种模型驱动的工程方法,使用Petri网正式验证BPMN模型
机译:通过模型检查自动进行视觉建模语言的形式验证
机译:基于递归ECATNets的方法,用于形式验证系统建模语言活动图
机译:具有ALVIS建模语言的所选BPMN模型的正式验证的提案
机译:逻辑,形式语言和形式语言标识。乔姆斯基层次结构中语言的某些逻辑属性,以及形式语言标识的疑问模型。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:使用ConGolog和CASL正式代理规范语言进行i *模型的分析,验证和仿真
机译:使用事件-B的BpmN模型的形式化分析