The Use of VDM in the Specification of Chinese Characters.

Ghee S. Teo Mícheál Mac an Airchinnigh

Published in: VDM Europe (1988)

Keyphrases

chinese characters
chinese character recognition
character recognition
hand written
chinese language
high level
formal specification
specification language
artificial intelligence
conceptual model
formal verification
asynchronous circuits
learning environment
user defined
machine vision
eye typing