Authors: YEVTUSHENKO N PETRENKO A TRENKAYEV V

Citation: N. Yevtushenko et al., AUTOMATA NETWORK TEST SUITE DERIVATION BA SED ON A TESTABLE REPRESENTATION OF A COMPONENTS BEHAVIOR, Avtomatika i vycislitelnaa tehnika, (2), 1996, pp. 48-58