TREA

Model checker, to verify and debug control software

Follow

Industry

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

Parent Industries

GPHYSICS G05Controlling systems G05BCONTROL OR REGULATING SYSTEMS IN GENERAL FUNCTIONAL ELEMENTS OF SUCH SYSTEMS MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS G05B2219/00Program-control systems

Current Industry

G05B2219/24034Model checker, to verify and debug control software
Industries