Department of Computer Science, FCEFQyN, Universidad Nacional de Rio Cuarto and CONICET, Argentina;
Department of Computer Science, FCEyN, Universidad de Buenos Aires and CONICET, Argentina;
Department of Computer Science, FCEFQyN, Universidad Nacional de Rio Cuarto and CONICET, Argentina;
Department of Computer Science, FCEyN, Universidad de Buenos Aires and CONICET, Argentina;
Department of Computer Science, FCEyN, Universidad de Buenos Aires and CONICET, Argentina;
Department of Computer Science, FCEFQyN, Universidad Nacional de Rio Cuarto and CONICET, Argentina;
机译:高效分析DynAlloy规格
机译:源代码逐步抽象高级系统规范
机译:指令级抽象(ILA):用于片上系统(SOC)验证的统一规范
机译:对Dynalloy规范的抽象
机译:基于抽象的滥用检测:高级规范和适应性策略。
机译:评估数据抽象助手一种用于系统审查期间数据抽象的新型软件应用程序:随机对照试验的方案
机译:走向DynAlloy规范的抽象