Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS.

Arturo Azcorra Enrique Vázquez Manuel Alvarez-Campana Juan Vinyes

Published in: PSTV (1993)

Keyphrases

databases
data mining
decision making
database systems
expert systems
relational databases
hidden markov models
efficient implementation
formal specification
formal specification language