A method for constructing test programs for devices with memory described by a finite-automaton model

zbMath0198.03401MaRDI QIDQ2540273

P. P. Parkhomenko, E. S. Sogomonyan, V. V. Karibskij

Publication date: 1969

Published in: Automation and Remote Control (Search for Journal in Brave)

zbMATH Keywords

languages, automata, networks

This page was built for publication: A method for constructing test programs for devices with memory described by a finite-automaton model