ATOM: An Object-based Formal Method for Real-Time Systems.

Hussein Zedan Antonio Cau Zhiqiang Chen Hongji Yang

Published in: Ann. Softw. Eng. (1999)

Keyphrases

real time systems
significant improvement
high accuracy
clustering method
real time
similarity measure
detection method
preprocessing
dynamic programming
computational efficiency
neural network
web services
objective function