The following pages link to Ismael Rodríguez (Q470033):
Displaying 18 items.
- Testing restorable systems: formal definition and heuristic solution based on river formation dynamics (Q470035) (← links)
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems (Q764383) (← links)
- (Q1649967) (redirect page) (← links)
- Optimal timer-based caching policies for general arrival processes (Q1649968) (← links)
- Formally transforming user-model testing problems into implementer-model testing problems and viceversa (Q2270684) (← links)
- Introducing complexity to formal testing (Q2291824) (← links)
- Specification, testing and implementation relations for symbolic-probabilistic systems (Q2368993) (← links)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- Formal testing from timed finite state machines (Q2469174) (← links)
- Formal specification of multi-agent e-barter systems (Q2485279) (← links)
- (Q3045843) (← links)
- (Q3046000) (← links)
- (Q3075204) (← links)
- A General Testability Theory (Q3184700) (← links)
- A Formal Approach to Heuristically Test Restorable Systems (Q3393417) (← links)
- Conformance Testing Relations for Timed Systems (Q3434605) (← links)
- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses (Q3434651) (← links)
- Customized Testing for Probabilistic Systems (Q3434656) (← links)
