Generating Tests for Control Portion of SDL Specifications.

Gang Luo Anindya Das Gregor von Bochmann

Published in: Protocol Test Systems (1993)

Keyphrases

control system
robotic systems
control problems
robot control
information retrieval
high level
video sequences
test data
closed loop
optimal control
control method
finite state machines
adaptive control
control strategies