The ACM Computing Classification System (1998)

B.1.2 Control Structure Performance Analysis and Design Aids

  • Automatic synthesis [**]
  • Formal models [**]
  • Simulation [**]