An Approach to the Combination of Formal Description Techniques: Statecharts and TLA.

Published in: IFM (1999)

Keyphrases

data sets
information systems
website
real time
feature selection
case study
three dimensional
image sequences
optimal solution
combining multiple
agent oriented