Design of an Automatic Teller Machine with Esterel Studio.

Sylvan Dissoubray Bernard Dion

Published in: Formal Aspects Comput. (2000)

Keyphrases

circuit design
design process
data structure
software architecture
digital libraries
semi automatic
database
data driven
building blocks
hidden markov models
design decisions
design principles
fully automatic
data model
mobile devices
case study
web services
computer vision
artificial intelligence
neural network