Interpretation of SDL specification in LOTOS.

Tsuyoshi Ando Masataka Ohta Kaoru Takahashi

Published in: Systems and Computers in Japan (1994)

Keyphrases

temporal ordering
high level
image interpretation
object recognition
formal specification
case study
software engineering
specification language
real time
natural language
semantic interpretation