Algebraic Specification at Work.

Egidio Astesiano Alessandro Giovini Franco Morando Gianna Reggio

Published in: AMAST (1991)

Keyphrases

high level
higher order
provably correct
specification language
transition systems
real time
neural network
real world
data mining
multiresolution
data model
state machine
ims qti