Faculdade de Informatica, Pontificia Universidade Catolica do Rio Grande do Sul Porto Alegre, Brazil;
机译:具有应用条件的三重图文法的模型转换的形式规范
机译:使用图文法对实时系统进行形式化规范和验证
机译:使用图文法的实时系统的正式规范和验证
机译:Verigraph:图形语法规范和分析系统
机译:使用图文法规范并发系统。
机译:埃塞俄比亚12至23个月儿童免疫的地理变化和违约因素:使用2016年埃塞俄比亚人群和健康调查的空间和多级分析
机译:使用矩阵图语法分析行为规范:顺序和并行独立