1. Science
  2. Publications
  3. Information Processing Systems
  4. 8(57)'2006
  5. A method of complex verification of automata with programmable logic for Instrumentation and Control systems

A method of complex verification of automata with programmable logic for Instrumentation and Control systems

V. Sklyar, V. Golovir
Annotations languages:

A method of complex verification of automata with programmable logic based on Field Programmable Gates Arrays (FPGAs) which is based on account of safety standards requirements.