Login / Signup

Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset.

Ugo A. BuyRobert H. Sloan
Published in: Autom. Softw. Eng. (2001)
Keyphrases
  • real time
  • high speed
  • reactive systems
  • data analysis
  • databases
  • case study
  • multi agent systems
  • low cost
  • statistical analysis
  • information flow
  • real time systems