Login / Signup

Sokrates-SA - A formal method for specifying real-time systems.

Ari OkkonenAntti AuerMikko LevantoJyrki OkkonenJarmo Kalaoja
Published in: Microprocessing and Microprogramming (1989)
Keyphrases
  • real time systems
  • high accuracy
  • significant improvement
  • clustering method
  • detection method
  • high level
  • support vector machine
  • computational efficiency