EASE: an embedded algebraic specification environment.

Jiahua Qian Yong Zheng Liqun Jin Jinhua Zhang

Published in: COMPSAC (1990)

Keyphrases

mobile robot
real time
neural network
mobile robotics
databases
real world
case study
ambient intelligence
test bed
indoor environments
requirements specification
control software