Avtomat. i Telemekh., 1990 Issue 1, Pages 159–165
(Mi at5291)
|
Computers in Control
Verification methods for multiprocessor systems
M. Y. Maron Research Computing Center of Moscow State University
UDC:
681.3.06
Received: 21.07.1988
English version:
Automation and Remote Control, 1990,
51:1,
128–133
Bibliographic databases:
© , 2026
Fulltext:
PDF file (1071 kB)