TREA

using formal methods

Follow

Industry

  • CPC
  • G06F11/3608
This industry / category may be too specific. Please go to a parent level for more data

Parent Industries

GPHYSICS G06Computing G06FELECTRICAL DIGITAL DATA PROCESSING G06F11/00Error detection Error correction Monitoring

Current Industry

G06F11/3608using formal methods
Industries