Title :
P-L method of verification. Decoding of outcomes control
Author_Institution :
Saratov State Univ., Russia
Abstract :
This article describes the P-L method of digital device control. It details localization methods and control results fault decoding.
Keywords :
control theory; decoding; digital control; formal verification; P-L digital device control method; P-L verification methods; control outcomes decoding; control results fault decoding; localization methods; Decoding; Digital control; Helium;
Conference_Titel :
Actual Problems of Electron Devices Engineering, 2002. (APEDE 2002). Fifth International Conference on
Conference_Location :
Saratova, Russia
Print_ISBN :
5-7433-1065-3
DOI :
10.1109/APEDE.2002.1044960
