受强制性开放获取政策约束的文章 - Carlos Gustavo Lopez Pombo了解详情
可在其他位置公开访问的文章：9 篇
Dynamite: A tool for the verification of alloy models based on PVS
MM Moscato, CGL Pombo, MF Frias
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (2), 1-37, 2014
强制性开放获取政策： Government of Argentina
Automatic quality-of-service evaluation in service-oriented computing
AE Martinez Suñé, CG Lopez Pombo
Coordination Models and Languages: 21st IFIP WG 6.1 International Conference …, 2019
强制性开放获取政策： Government of Argentina
A propositional tableaux based proof calculus for reasoning with default rules
V Cassano, CGL Pombo, TSE Maibaum
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada, Government of …
A dynamic temporal logic for quality of service in choreographic models
CGL Pombo, AEM Suñé, E Tuosto
International Colloquium on Theoretical Aspects of Computing, 119-138, 2023
强制性开放获取政策： European Commission, Government of Argentina
Quality of service ranking by quantifying partial compliance of requirements
AE Martinez Suñé, CG Lopez Pombo
International Conference on Coordination Languages and Models, 181-189, 2020
强制性开放获取政策： European Commission, Government of Argentina
Satisfiability calculus: An abstract formulation of semantic proof systems
CG Lopez Pombo, PF Castro, NM Aguirre, TSE Maibaum
Fundamenta Informaticae 166 (4), 297-347, 2019
强制性开放获取政策： Natural Sciences and Engineering Research Council of Canada, Government of …
(Heterogeneous) Structured specifications in logics without interpolation
CG Lopez Pombo, M Frias
Ewa Orłowska on Relational Methods in Logic and Computer Science, 403-439, 2018
强制性开放获取政策： Government of Argentina
Boosting the Reuse of Formal Specifications
MM Moscato, CG Lopez Pombo, CA Munoz, MA Feliú
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as …, 2018
强制性开放获取政策： US National Aeronautics and Space Administration, Government of Argentina
Automated Static Analysis of Quality of Service Properties of Communicating Systems
CGL Pombo, AEM Suñé, E Tuosto
International Symposium on Formal Methods, 84-103, 2024
强制性开放获取政策： European Commission
出版信息和资助信息由计算机程序自动确定