Browsing by Subject Equivalence
Showing results 1 to 7 of 7
Issue Date | Title | Author(s) |
---|---|---|
1998 | Adaptive testing of a deterministic implementation against a nondeterministic finite state machine | Hierons, RM |
2018 | Analysis of segregated boundary-domain integral equations for BVPs with non-smooth coefficients on Lipschitz domains | Mikhailov, SE |
2011 | Analysis of two-operator boundary-domain integral equations for variable-coefficient mixed BVP | Ayele, TG; Mikhailov, SE |
2010 | Canonical finite state machines for distributed systems | Hierons, RM |
2011 | Characterizing minimal semantics-preserving slices of predicate-linear, free, liberal program schemas | Danicic, S; Hierons, RM; Laurence, MR |
2008 | The effect of the distributed test architecture on the power of testing | Hierons, RM; Ural, H |
1998 | A model of equivalence in the cultural adaptation of HRQoL instruments: the universalist approach | Herdman, M; Fox-Rushby, J; Badia, X |