José J. Pazos Arias

From MaRDI portal
Person:216270

Available identifiers

zbMath Open pazos-arias.jose-jDBLP27/2992WikidataQ58907800 ScholiaQ58907800MaRDI QIDQ216270

List of research outcomes





PublicationDate of PublicationType
Tracing integration analysis in component-based formal specifications2021-05-20Paper
Extending timed automaton and real-time logic to many-valued reasoning2011-04-08Paper
Integrated Formal Methods2009-05-07Paper
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications2006-07-03Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty2006-06-23Paper
SCTL-MUS: A formal methodology for software development of distributed systems. A case study2001-11-21Paper

Research outcomes over time

This page was built for person: José J. Pazos Arias

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:216270&oldid=6656073"
Powered by MediaWiki