Behavioural Specifications in Type Theory.

Nikos Mylonakis

Published in: COMPASS/ADT (1995)

Keyphrases

theoretical basis
formal theory
search engine
high level
theoretical framework
information theory
general theory
delay insensitive
learning algorithm
bayesian networks
search algorithm
information technology
theoretical foundation
formal specification