FIT, Brno University of Technology, Bozetechova 2, CZ-61266, Brno, Czech Republic;
机译:基于模式的安全服务组合的设计和验证
机译:基于模式的编排和复合云服务的自动验证
机译:基于模式的环境建模,用于Linux内核模块的静态验证
机译:基于模式的树木验证
机译:自动生成和验证基于复杂模式的软件规范。
机译:基于模式的系统发育距离估计和树重构
机译:基于模式的电流密度验证方法
机译:aLpHaRD中的抽象和验证:树处理程序的设计和验证。