Session A3: System specification I.

Published in: Microprocess. Microprogramming (1993)

Keyphrases

formal specification
high level
specification language
mobile robot
data sets
information retrieval
data structure
email
hidden markov models
programming language
conceptual model
formal verification
training sessions