Pages that link to "Item:Q1001893"
From MaRDI portal
The following pages link to Testing from a stochastic timed system with a fault model (Q1001893):
Displaying 8 items.
- An extended framework for passive asynchronous testing (Q347402) (← links)
- Estimating the latent time of fault detection in finite automaton tested in real time (Q1003066) (← links)
- Toward a theory of functional testing in discrete dynamic systems (Q1091330) (← links)
- Passive testing with asynchronous communications and timestamps (Q1656880) (← links)
- A fault-detection approach to the conformance testing of nondeterministic systems (Q1898202) (← links)
- On conformance testing of non-deterministic systems (Q2731077) (← links)
- Formal Techniques for Networked and Distributed Systems - FORTE 2003 (Q5900959) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)