DocumentCode
2413701
Title
P-L method of verification. Decoding of outcomes control
Author
Gumaliev, V.S.
Author_Institution
Saratov State Univ., Russia
fYear
2002
fDate
18-19 Sept. 2002
Firstpage
347
Lastpage
350
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/APEDE.2002.1044960
Filename
1044960
Link To Document