The following pages link to José J. Pazos Arias (Q216270):
Displayed 6 items.
- Tracing Integration Analysis in Component-Based Formal Specifications (Q4989028) (← links)
- Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning (Q5392290) (← 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)