The following pages link to Jorge García Duque (Q216271):
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)
- SCTL-MUS: A formal methodology for software development of distributed systems. A case study (Q5949548) (← links)