zbMath0930.68028MaRDI QIDQ1287515
A. T. Kutanov, S. A. Yuditskij
Publication date: 31 August 1999 Published in: Automation and Remote Control (Search for Journal in Brave)
zbMATH Keywords
computer-aided system engineering
Mathematics Subject Classification ID
General topics in the theory of software (68N01)