TREA

Modular verification of real time systems

Follow

Industry

  • CPC
  • G05B2219/32344
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/32344Modular verification of real time systems
Industries