The following pages link to Alberto Gil-Solla (Q3625033):
Displaying 5 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)
- Integrated Formal Methods (Q5901617) (← links)
- Datasets generated by rurAllure project - promotion of rural museums and heritage sites in the vicinity of European pilgrimage routes (Q6696859) (← links)