The following pages link to Mercedes G. Merayo (Q347400):
Displaying 18 items.
- An extended framework for passive asynchronous testing (Q347402) (← links)
- Testing from a stochastic timed system with a fault model (Q1001893) (← links)
- Passive testing with asynchronous communications and timestamps (Q1656880) (← links)
- Implementation relations and test generation for systems with distributed interfaces (Q1938358) (← links)
- Timed implementation relations for the distributed test architecture (Q2251156) (← links)
- \(\mathcal {HOTL}\): Hypotheses and observations testing logic (Q2469152) (← links)
- Formal testing from timed finite state machines (Q2469174) (← links)
- A Logic for Assessing Sets of Heterogeneous Testing Hypotheses (Q3434651) (← links)
- Formal Testing of Systems Presenting Soft and Hard Deadlines (Q3508523) (← links)
- Formal Specification of Multi-agent Systems by Using EUSMs (Q3508535) (← links)
- A Brief Introduction to $\mathcal{THOTL}$ (Q3510819) (← links)
- Testing Finite State Machines Presenting Stochastic Time and Timeouts (Q3522091) (← links)
- Controllable Test Cases for the Distributed Test Architecture (Q3540074) (← links)
- Passive Testing of Timed Systems (Q3540090) (← links)
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Timeouts (Q3613082) (← links)
- Implementation Relations for Stochastic Finite State Machines (Q3613674) (← links)
- Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs (Q4589595) (← links)
- Using Time to Add Order to Distributed Testing (Q4647846) (← links)
