Rebeca P. Díaz-Redondo

From MaRDI portal
Person:3625032

Available identifiers

zbMath Open diaz-redondo.rebeca-pMaRDI QIDQ3625032

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

Research outcomes over time

This page was built for person: Rebeca P. Díaz-Redondo

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