Strategic Testing Environment with Formal Description Techniques.

Kotaro Katsuyama Fumiaki Sato Tetsuo Nakakawaji Tadanori Mizuno

Published in: IEEE Trans. Computers (1991)

Keyphrases

real time
data sets
databases
case study
environmental conditions
decision making
mobile robot
dynamic environments
test set
complex environments