Login / Signup
Analysis of ESTELLE Specifications.
Udo Thalmann
Published in:
Concurrency (1988)
Keyphrases
</>
real time
pattern recognition
image analysis
information retrieval
formal specification