受强制性开放获取政策约束的文章 - ISABEL PITA了解详情
可在其他位置公开访问的文章：14 篇
Model checking strategy-controlled systems in rewriting logic
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Automated Software Engineering 29 (1), 7, 2022
强制性开放获取政策： Government of Spain
Parameterized strategies specification in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 …, 2019
强制性开放获取政策： Government of Spain
Simulating and model checking membrane systems using strategies in Maude
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Journal of Logical and Algebraic Methods in Programming 124, 100727, 2022
强制性开放获取政策： Government of Spain
Metalevel transformation of strategies
R Rubio, N Martí-Oliet, I Pita, A Verdejo
Journal of Logical and Algebraic Methods in Programming 124, 100728, 2022
强制性开放获取政策： Government of Spain
Conditional narrowing modulo in rewriting logic and Maude
L Aguirre, N Martí-Oliet, M Palomino, I Pita
International Workshop on Rewriting Logic and its Applications, 80-96, 2014
强制性开放获取政策： Government of Spain
Sentence-normalized conditional narrowing modulo in rewriting logic and maude
L Aguirre, N Martí-Oliet, M Palomino, I Pita
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …, 2015
强制性开放获取政策： Government of Spain
QMaude: quantitative specification and verification in rewriting logic
R Rubio, N Martí-Oliet, I Pita, A Verdejo
International Symposium on Formal Methods, 240-259, 2023
强制性开放获取政策： Government of Spain
Specifying and analyzing the kademlia protocol in maude
I Pita, A Riesco
Theoretical Aspects of Computing-ICTAC 2015: 12th International Colloquium …, 2015
强制性开放获取政策： Government of Spain
Strategies in conditional narrowing modulo SMT plus axioms
L Aguirre, N Martí-Oliet, M Palomino, I Pita
Analysis, Verification and Transformation for Declarative Programming and …, 2023
强制性开放获取政策： Government of Spain
Formal specification of the Kademlia and the Kad routing tables in Maude
I Pita, MI Fernández-Camacho
Recent Trends in Algebraic Development Techniques: 21st International …, 2013
强制性开放获取政策： Government of Spain
A tool for testing data type implementations from Maude algebraic specifications
I Pita, A Riesco
Electronic Notes in Theoretical Computer Science 282, 61-71, 2012
强制性开放获取政策： Government of Spain
The semantics of the Maude strategy language
RR Rubio Cuéllar, N Martí Oliet, I Pita Andreu, JA Verdejo López
强制性开放获取政策： Government of Spain
Conditional Narrowing Modulo SMT Plus Axioms
L Aguirre, N Martí-Oliet, M Palomino, I Pita
强制性开放获取政策： Government of Spain
A Maude specification of the Kademlia distributed hash table: centralized version
I Pita Andreu, A Riesco Rodríguez
强制性开放获取政策： Government of Spain
出版信息和资助信息由计算机程序自动确定