The RAISE Specification Langiage: A Tutorial.

Published in: VDM Europe (2) (1991)

Keyphrases

information retrieval
formal specification
decision making
hidden markov models
reactive systems
search algorithm
specification language
formal verification