Rebeca P. Díaz-Redondo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Tracing integration analysis in component-based formal specifications Lecture Notes in Computer Science	2021-05-20	Paper
Extending timed automaton and real-time logic to many-valued reasoning Lecture Notes in Computer Science	2011-04-08	Paper
Integrated Formal Methods Lecture Notes in Computer Science	2009-05-07	Paper
A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications Journal Of Logic And Computation	2006-07-03	Paper
Symbolic and Quantitative Approaches to Reasoning with Uncertainty Lecture Notes in Computer Science	2006-06-23	Paper

Research outcomes over time

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