Functional Specification for an ISDN Switching System: an Experience using Estelle.

Published in: PSTV (1989)

Keyphrases

high level
user experience
formal verification
specification language
real time
databases
computer vision
evolutionary algorithm
wireless sensor networks
human brain
functional properties
personal experiences