The following pages link to Martín López Nores (Q4989025):
Displaying 4 items.
- Tracing Integration Analysis in Component-Based Formal Specifications (Q4989028) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5473747) (← links)
- A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications (Q5477457) (← links)
- Datasets generated by rurAllure project - promotion of rural museums and heritage sites in the vicinity of European pilgrimage routes (Q6696859) (← links)