Login / Signup

Analysis of ESTELLE Specifications.

Udo Thalmann
Published in: Concurrency (1988)
Keyphrases
  • real time
  • pattern recognition
  • image analysis
  • information retrieval
  • formal specification