Jorge García Duque

From MaRDI portal
Person:216271

Available identifiers

zbMath Open garcia-duque.jorgeMaRDI QIDQ216271

List of research outcomes





PublicationDate of PublicationType
Tracing Integration Analysis in Component-Based Formal Specifications2021-05-20Paper
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: Jorge García Duque

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