Departamento de Computation, Universidade da Corufia Facultad de Informtica, Campus de Elvifia 5, 15071 La Coruna Spain;
Departamento de Informatica, Universidade de Vigo E.T.S. de Ingenierfa Informatica, Campus As Lagoas, 32004 Orense Spain;
机译:SDL-2000的正式定义-将SDL规范编译和运行为ASM模型
机译:编译器和其他正式文本处理器的测试生成
机译:基于模式的自动并行代码生成框架的正式规范和实现
机译:从正式规格编译有效解析器的索引
机译:根据实时反应系统的正式规范自动生成测试。
机译:使用基于超声检查指标的MCP回归方法介绍一种有效的模型来预测胎盘增生频谱:超声检查在诊断增生中的效率如何?
机译:RecordFlux:正式的消息规范和可验证二进制解析器的生成