Faculty of Electrical Engineering and Communication, Brno University of Technology Bozetechova 2, 612 66 Brno, Czech Republic;
formal methods; industrial communication; profibus DP; ESTELLE; VHDL;
机译:UML序列图与形式化规范方法的集成—基于Z的形式化解决方案
机译:莲花规格自动转换为雌激素规格的正式方法
机译:用逻辑规范控制网络物理系统:一种正式的方法
机译:现场总线规范中的形式方法
机译:通过中间规范语言FunZ从Z规范派生纯功能程序的形式化方法。
机译:正式交换MIM图的正式MIM规范和工具:基于XML的格式API和验证方法
机译:GenGED *中视觉行为模型的方案视图*这项工作得到了德国-巴西软件规范和开发形式和半形式方法图形支持的合作(GRAPHIT)。